Usuario:JULIAN.D.OR/ejercicio11

El universo del discurso son los pajaros. La premisa es que todos los pajaros tienen plumas alas y plumas, lo cual traducimos en la forma

$\forall _{x}$( X( x ) $\land$ F( x ) )

Dar una derivacion formal para demostrar que todos los pajaros tienen plumas.

1.$\forall _{x}$( X( x ) $\land$ F( x ) ) premisa

2.X( a ) $\land$ F( a ) $S_{a}^{x}$ Paritucularizacion Universal 1.

3.F( a ) simplificacion 2.

4.$\forall _{x}$ F( x ) Generalizacion del Universal