Autores, Editores, Burócratas, Administradores
2226
ediciones
sin resumen de edición
*<math>Qa, a\approx b\vDash Qb</math>
*<math>Qa\land\forall x(Px\supset x\approx a)\vDash Pb\supset Qb</math>
===Demostraciones===
Una demostración de <math>A</math> a partir de <math>\Gamma</math>, escrito <math>\Gamma\vdash A</math>, es una secuencia finita de afirmaciones de la forma <math>\mathcal{X}\vdash Y</math> donde cada afirmación de este tipo se puede obtener de las anteriores de acuerdo con las reglas en la tabla 3 y cuya última línea es <math>\Gamma\vdash A</math>.
<div align="center">Tabla 3: Reglas de demostración</div>
[[File:Tabla 3 LM.png|center]]
