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:
![\begin{displaymath}
P_1\ \vdash\ \neg C\ \rightarrow\ \neg P_2.
\end{displaymath}](img30.png) |
(1) |
Por otro lado, se tiene como un teorema
![\begin{displaymath}
\vdash \left(\neg C\rightarrow \neg P_2\right)\ \rightarrow\ \left(P_2\rightarrow C \right).
\end{displaymath}](img31.png) |
(2) |
Así pues, de (1) y (2) por Modus Ponens resulta
, de lo cual el Teorema de
Deducción da, finalmente, el esquema Festino:
.
![Catedral](catedral.jpg)
Guillermo Morales-Luna
2007-04-24