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