Nuprl Definition : geo-between
B(abc) == ((¬ab>ac)) ∧ (¬bc>ac))) ∧ (¬a # bc)
Definitions occuring in Statement :
geo-lsep: a # bc,
geo-gt-prim: ab>cd),
not: ¬A,
and: P ∧ Q
Definitions occuring in definition :
not: ¬A,
geo-gt-prim: ab>cd),
and: P ∧ Q
FDL editor aliases :
geo-between
geo-between
geo-bt
Latex:
B(abc) == ((\mneg{}ab>ac)) \mwedge{} (\mneg{}bc>ac))) \mwedge{} (\mneg{}a \# bc)
Date html generated:
2019_10_29-AM-09_12_10
Last ObjectModification:
2019_10_25-PM-01_11_03
Theory : euclidean!plane!geometry
Home
Index