Next: Bocardo
Up: Silogística
Previous: Barbara
Para demostrar la validez de este silogismo, escribamos:
Por Barbara se tiene
o equivalentemente
o sea
Por el Teorema de Deducción:
 |
(1) |
Por otro lado, se tiene como un teorema
 |
(2) |
Así pues, de (1) y (2) por Modus Ponens resulta
, de lo cual el Teorema de
Deducción da, finalmente, el esquema Festino:
.

Guillermo Morales-Luna
2007-04-24