lconnects(p;i;j) ==
lpath(p)
((||p|| = 0) 
(i = j))
((
(||p|| = 0)) ((i = source(hd(p))) (j = destination(last(p)))))
Definitions :
lpath: lpath(p),
implies: P Q,
not: A,
int: 
,
length: ||as||,
natural_number: $n,
and: P Q,
lsrc: source(l),
hd: hd(l),
equal: s = t,
Id: Id,
ldst: destination(l),
last: last(L)
FDL editor aliases :
lconnects
lconnects(p;i;j) ==
lpath(p)
\mwedge{} ((||p|| = 0) {}\mRightarrow{} (i = j))
\mwedge{} ((\mneg{}(||p|| = 0)) {}\mRightarrow{} ((i = source(hd(p))) \mwedge{} (j = destination(last(p)))))
Date html generated:
2010_08_26-PM-11_34_37
Last ObjectModification:
2008_02_27-PM-09_24_22
Home
Index