Nuprl Definition : bimplies
p
⇒b q == (¬bp) ∨bq
Definitions occuring in Statement :
bor: p ∨bq
,
bnot: ¬bb
Definitions occuring in definition :
bor: p ∨bq
,
bnot: ¬bb
FDL editor aliases :
bimplies
Latex:
p {}\mRightarrow{}\msubb{} q == (\mneg{}\msubb{}p) \mvee{}\msubb{}q
Date html generated:
2016_05_13-PM-03_56_07
Last ObjectModification:
2015_09_22-PM-05_45_36
Theory : bool_1
Home
Index