Nuprl Definition : dl-logical-eq
(a ⇐⇒ b) == ∀phi:Prop. (|= <a> phi ⇒ <b> phi ∧ |= <b> phi ⇒ <a> phi)
Definitions occuring in Statement :
dl-valid: |= phi,
dl-diamond: <x1> x,
dl-implies: x1 ⇒ x,
dl-prop: Prop,
all: ∀x:A. B[x],
and: P ∧ Q
Definitions occuring in definition :
all: ∀x:A. B[x],
dl-prop: Prop,
and: P ∧ Q,
dl-valid: |= phi,
dl-implies: x1 ⇒ x,
dl-diamond: <x1> x
FDL editor aliases :
dl-logical-eq
Latex:
(a \mLeftarrow{}{}\mRightarrow{} b) == \mforall{}phi:Prop. (|= <a> phi {}\mRightarrow{} <b> phi \mwedge{} |= <b> phi {}\mRightarrow{} <a> phi)
Date html generated:
2019_10_15-AM-11_46_05
Last ObjectModification:
2019_03_26-PM-00_16_39
Theory : dynamic!logic
Home
Index