Como ejemplos muy sencillos, veamos dos razonamientos que habíamos formalizado en el Apartado 4.2.1:
O, de manera formal:
P1: (x)(ord(x)
tab(x))
P2: ord(E)
C: tab(E)
Pues bien, la demostración ha consistido en aplicar primero la regla de particularización a la premisa P1 (particularizando para x=E) y luego la regla de modus ponens al resultado y la premisa P2.
De igual modo, el segundo razonamiento:
es decir:
P1: (x)(ord(x)
tab(x))
P2: ¬tab(E)
C: ¬ord(E)
se obtiene mediante aplicación sucesiva de las reglas de particularización y de modus tollens.