Nuprl Definition : geo-out
out(p ab) == p ≠ a ∧ p ≠ b ∧ (¬((¬p_a_b) ∧ (¬p_b_a)))
Definitions occuring in Statement :
geo-between: a_b_c,
geo-sep: a ≠ b,
not: ¬A,
and: P ∧ Q
Definitions occuring in definition :
geo-sep: a ≠ b,
and: P ∧ Q,
not: ¬A,
geo-between: a_b_c
FDL editor aliases :
geo-out
geo-out
Latex:
out(p ab) == p \mneq{} a \mwedge{} p \mneq{} b \mwedge{} (\mneg{}((\mneg{}p\_a\_b) \mwedge{} (\mneg{}p\_b\_a)))
Date html generated:
2017_10_02-PM-06_25_57
Last ObjectModification:
2017_08_05-PM-04_19_28
Theory : euclidean!plane!geometry
Home
Index