Nuprl Definition : pgeo-psep
a ≠ b == ∃l:Line. (a I l ∧ b ≠ l)
Definitions occuring in Statement :
pgeo-incident: a I b,
pgeo-plsep: a ≠ b,
pgeo-line: Line,
exists: ∃x:A. B[x],
and: P ∧ Q
Definitions occuring in definition :
exists: ∃x:A. B[x],
pgeo-line: Line,
and: P ∧ Q,
pgeo-incident: a I b,
pgeo-plsep: a ≠ b
FDL editor aliases :
pgeo-psep
Latex:
a \mneq{} b == \mexists{}l:Line. (a I l \mwedge{} b \mneq{} l)
Date html generated:
2018_05_22-PM-00_24_13
Last ObjectModification:
2017_10_18-AM-08_54_52
Theory : euclidean!plane!geometry
Home
Index