Nuprl Definition : uiff

uiff(P;Q) ==  supposing P ∧ supposing Q



Definitions occuring in Statement :  uimplies: supposing a and: P ∧ Q
Definitions occuring in definition :  and: P ∧ Q uimplies: supposing a
FDL editor aliases :  uiff

Latex:
uiff(P;Q)  ==    Q  supposing  P  \mwedge{}  P  supposing  Q



Date html generated: 2016_05_13-PM-03_07_16
Last ObjectModification: 2016_01_04-AM-10_25_32

Theory : core_2


Home Index