Nuprl Definition : eu-out
out(p ab) == (¬(p = a ∈ Point)) ∧ (¬(p = b ∈ Point)) ∧ (¬((¬p_a_b) ∧ (¬p_b_a)))
Definitions occuring in Statement :
eu-between-eq: a_b_c,
eu-point: Point,
not: ¬A,
and: P ∧ Q,
equal: s = t ∈ T
Definitions occuring in definition :
equal: s = t ∈ T,
eu-point: Point,
and: P ∧ Q,
not: ¬A,
eu-between-eq: a_b_c
FDL editor aliases :
eu-out
Latex:
out(p ab) == (\mneg{}(p = a)) \mwedge{} (\mneg{}(p = b)) \mwedge{} (\mneg{}((\mneg{}p\_a\_b) \mwedge{} (\mneg{}p\_b\_a)))
Date html generated:
2016_05_18-AM-06_41_58
Last ObjectModification:
2015_09_23-AM-09_00_24
Theory : euclidean!geometry
Home
Index