Nuprl Definition : rev_uimplies

rev_uimplies(P;Q) ==  P supposing Q


Definitions occuring in Statement :  uimplies: b supposing a
Definitions occuring in definition :  uimplies: b supposing a
FDL editor aliases :  rev_uimplies
Latex:
rev\_uimplies(P;Q)  ==    P  supposing  Q


Date html generated: 2016_05_13-PM-03_07_13
Last ObjectModification: 2016_01_04-AM-10_25_30

Theory : core_2


Home Index