Nuprl Definition : point-triangle

PΔ(a;b;c) ==  ∀a,b,c:Point. ∀s:b ≠ c.  a ≠ b ∨ c


Definitions occuring in Statement :  pgeo-join: p ∨ q,  pgeo-psep: a ≠ b,  pgeo-plsep: a ≠ b,  pgeo-point: Point,  all: ∀x:A. B[x]
Definitions occuring in definition :  pgeo-point: Point,  all: ∀x:A. B[x],  pgeo-psep: a ≠ b,  pgeo-plsep: a ≠ b,  pgeo-join: p ∨ q
FDL editor aliases :  p-tri
Latex:
P\mDelta{}(a;b;c)  ==    \mforall{}a,b,c:Point.  \mforall{}s:b  \mneq{}  c.    a  \mneq{}  b  \mvee{}  c


Date html generated: 2018_05_22-PM-00_49_11
Last ObjectModification: 2017_12_01-PM-03_35_27

Theory : euclidean!plane!geometry


Home Index