Nuprl Definition : predicate_rev_implies
P1 ⇐ P2 == P2 ⇒ P1
Definitions occuring in Statement :
predicate_implies: P1 ⇒ P2
Definitions occuring in definition :
predicate_implies: P1 ⇒ P2
FDL editor aliases :
predicate_rev_implies
Latex:
P1 \mLeftarrow{}{} P2 == P2 {}\mRightarrow{} P1
Date html generated:
2016_05_14-AM-06_05_38
Last ObjectModification:
2015_09_22-PM-05_46_54
Theory : relations
Home
Index