Step
*
of Lemma
int_formula_prop_wf
∀[f:ℤ ⟶ ℤ]. ∀[fmla:int_formula()]. (int_formula_prop(f;fmla) ∈ ℙ)
BY
{ ProveWfLemma }
Latex:
Latex:
\mforall{}[f:\mBbbZ{} {}\mrightarrow{} \mBbbZ{}]. \mforall{}[fmla:int\_formula()]. (int\_formula\_prop(f;fmla) \mmember{} \mBbbP{})
By
Latex:
ProveWfLemma
Home
Index