Nuprl Definition : uiff

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


Definitions occuring in Statement :  uimplies: b supposing a,  and: P ∧ Q
Definitions occuring in definition :  and: P ∧ Q,  uimplies: b 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