Nuprl Definition : truth
Truth == P,Q:ℙ//(P ⇐⇒ Q)
Definitions occuring in Statement :
quotient: x,y:A//B[x; y],
prop: ℙ,
iff: P ⇐⇒ Q
Definitions occuring in definition :
quotient: x,y:A//B[x; y],
prop: ℙ,
iff: P ⇐⇒ Q
FDL editor aliases :
truth
Latex:
Truth == P,Q:\mBbbP{}//(P \mLeftarrow{}{}\mRightarrow{} Q)
Date html generated:
2016_05_14-PM-09_42_20
Last ObjectModification:
2016_01_11-PM-03_45_36
Theory : continuity
Home
Index