next up previous
Posterior: Camenes Arriba: Silogística Anterior: Festino

Bocardo

Para demostrar la validez de este silogismo, escribamos:

\begin{eqnarray*}
P_1 &\equiv& \exists x\,\left(M(x)\land \neg P(x)\right) \\ 
...
...t) \\
C &\equiv& \exists x\,\left(S(x)\land \neg P(x)\right)
\end{eqnarray*}



Ya que $\left(M(x)\rightarrow S(x) \right)\ \rightarrow\ \left(\neg S(x)\rightarrow \neg M(x)\right)$ es un teorema, resulta $P_1\vdash Q_1$, en donde $Q_1 \equiv \forall x\,\left(\neg S(x)\rightarrow \neg M(x)\right)$. Hagamos $Q_2\equiv P_1$. Por Festino resulta $Q_1,Q_2\vdash \exists x\,\left(\neg P(x)\land S(x)\right)$, es decir $Q_1,Q_2\vdash C$. Consecuentemente se tiene $P_1,P_2\ \vdash\ C$. $\quad\Box$

Guillermo Morales-Luna
2004-07-27