Nuprl Definition : eu-tri
Triangle(a;b;c) == (¬(a = b ∈ Point)) ∧ (¬(a = c ∈ Point)) ∧ (¬(b = c ∈ Point))
Definitions occuring in Statement :
eu-point: Point,
not: ¬A,
and: P ∧ Q,
equal: s = t ∈ T
Definitions occuring in definition :
and: P ∧ Q,
not: ¬A,
equal: s = t ∈ T,
eu-point: Point
FDL editor aliases :
eu-tri
Latex:
Triangle(a;b;c) == (\mneg{}(a = b)) \mwedge{} (\mneg{}(a = c)) \mwedge{} (\mneg{}(b = c))
Date html generated:
2016_06_16-PM-01_31_30
Last ObjectModification:
2016_05_20-PM-02_36_30
Theory : euclidean!geometry
Home
Index