Nuprl Definition : geo-out-strict

geo-out-strict(e;p;a;b) ==  ¬((¬p-a-b) ∧ (¬p-b-a))


Definitions occuring in Statement :  geo-strict-between: a-b-c,  not: ¬A,  and: P ∧ Q
Definitions occuring in definition :  and: P ∧ Q,  not: ¬A,  geo-strict-between: a-b-c
FDL editor aliases :  geo-out-strict geo-out-strict
Latex:
geo-out-strict(e;p;a;b)  ==    \mneg{}((\mneg{}p-a-b)  \mwedge{}  (\mneg{}p-b-a))


Date html generated: 2017_10_02-PM-06_25_14
Last ObjectModification: 2017_08_05-PM-04_18_51

Theory : euclidean!plane!geometry


Home Index