Hola
Demostrar que la conclusión se sigue de las premisas dadas:
a) \( t \vee s \) a partir de \( p\longrightarrow q, q\longrightarrow \sim r, r, p\vee (t\wedge s). \)
Hola, muy buenos días. Quisiera pedir ayuda con este problema, ya vi las reglas de inferencia clásicas en clase, como por ejemplo, el modus ponens, leyes, silogismos y dilemas, etc., pero aún no sé como usarlas, por ejemplo, en este problema?. Gracias.
Con un poco de trabajo sale:
\( \begin{array}{lll}
1)&p\to q&\text{Premisa}\\
2)&q\to\neg r&\text{Premisa}\\
3)&r&\text{Premisa}\\
4)&p\lor(t\land s)&\text{Premisa}\\
5)&\neg q&\text{Modus Tollens 2), 3)}\\
6)&\neg p\to t\land s&\text{Eq. condicional 4)}\\
7)&\neg q\to\neg p&\text{Contrarrecíproco 1)}\\
8)&\neg q\to t\land s&\text{Silogismo hipotético 7), 6)}\\
9)&t\land s&\text{Modus Ponens 8), 5)}\\
10)&t&\text{Eliminación conjunción 9)}\\
11)&t\lor s&\text{Introducción disyunción 10)}
\end{array} \)
Saludos