Nuprl Definition : dl-equiv
(phi ⇐⇒ psi) == |= phi ⇒ psi ∧ |= psi ⇒ phi
Definitions occuring in Statement :
dl-valid: |= phi,
dl-implies: x1 ⇒ x,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
dl-valid: |= phi,
dl-implies: x1 ⇒ x
FDL editor aliases :
dl-equiv
Latex:
(phi \mLeftarrow{}{}\mRightarrow{} psi) == |= phi {}\mRightarrow{} psi \mwedge{} |= psi {}\mRightarrow{} phi
Date html generated:
2019_10_15-AM-11_44_13
Last ObjectModification:
2019_03_27-AM-00_12_54
Theory : dynamic!logic
Home
Index