Nuprl Definition : mtge1
mtge1(a;b;c;d) == (c ≤z a ∧b d <z b) ∨b(c <z a ∧b d ≤z b)
Definitions occuring in Statement :
le_int: i ≤z j,
bor: p ∨bq,
band: p ∧b q,
lt_int: i <z j
Definitions occuring in definition :
bor: p ∨bq,
band: p ∧b q,
lt_int: i <z j,
le_int: i ≤z j
FDL editor aliases :
mtge1
Latex:
mtge1(a;b;c;d) == (c \mleq{}z a \mwedge{}\msubb{} d <z b) \mvee{}\msubb{}(c <z a \mwedge{}\msubb{} d \mleq{}z b)
Date html generated:
2016_05_15-PM-10_34_31
Last ObjectModification:
2015_09_23-AM-08_26_49
Theory : rationals
Home
Index