Step * of Lemma face-term-iff_wf

No Annotations
[Gamma:j⊢]. ∀[phi,psi:{Gamma ⊢ _:𝔽}].  (Gamma ⊢ (phi ⇐⇒ psi) ∈ ℙ{[i j']})
BY
ProveWfLemma }


Latex:


Latex:
No  Annotations
\mforall{}[Gamma:j\mvdash{}].  \mforall{}[phi,psi:\{Gamma  \mvdash{}  \_:\mBbbF{}\}].    (Gamma  \mvdash{}  (phi  \mLeftarrow{}{}\mRightarrow{}  psi)  \mmember{}  \mBbbP{}\{[i  |  j']\})


By


Latex:
ProveWfLemma




Home Index