Nuprl Definition : rev_bimplies
p ⇐b q == q ⇒b p
Definitions occuring in Statement :
bimplies: p ⇒b q
Definitions occuring in definition :
bimplies: p ⇒b q
FDL editor aliases :
rev_bimplies
Latex:
p \mLeftarrow{}{}\msubb{} q == q {}\mRightarrow{}\msubb{} p
Date html generated:
2016_05_13-PM-03_56_10
Last ObjectModification:
2015_09_22-PM-05_45_37
Theory : bool_1
Home
Index