Nuprl Definition : rv-be
a_b_c == ¬(a ≠ b ∧ b ≠ c ∧ (¬a-b-c))
Definitions occuring in Statement :
rv-between: a-b-c,
real-vec-sep: a ≠ b,
not: ¬A,
and: P ∧ Q
Definitions occuring in definition :
rv-between: a-b-c,
not: ¬A,
real-vec-sep: a ≠ b,
and: P ∧ Q
FDL editor aliases :
rv-be
Latex:
a\_b\_c == \mneg{}(a \mneq{} b \mwedge{} b \mneq{} c \mwedge{} (\mneg{}a-b-c))
Date html generated:
2016_10_28-AM-07_37_47
Last ObjectModification:
2016_10_27-PM-01_26_31
Theory : reals
Home
Index