Hola a todos en el foro.. Tengo el siguiente problema
Deducir \( ¬V\wedge S \) de:
1. \( (T\vee Q)\wedge (T\vee ¬P) \)
2. \( ¬R \)
3. \( R\Longleftrightarrow{Q} \)
4. \( /S\vee T)\longrightarrow{P} \)
5. \( (V\vee ¬S)\longrightarrow{(¬P\vee Q)} \)
He intentado lo siguiente:
6. \( T\vee (Q\wedge ¬P) \) ..... de leyes asociativas en 1
7. \( R \) D. Negacion en 2
8. \( R\longrightarrow{Q} \) Ley bicondicional en 3
9. \( Q \) Modus Ponens en 7 y 8
10. \( ¬T\wedge ¬(Q\wedge ¬P) \) Negacion en 6
11. \( ¬T\wedge (¬Q\vee P) \) Morgan en 10
12. \( ¬Q\vee P \) .......................... Simplificación en 11
En mi mente esta claro que debe ir terminando de esta manera para que se pueda llegar a lo que se quiere:
a. \( ¬P\vee Q \) ... en algún momento de la demostración llego aquí
b. \( V\vee ¬S \) .......Modus ponens en 5 y a (donde a es un paso de la demostración en su avance)
c. \( ¬V\wedge S \) ... negación en b
aqui ya he "llegado" al resultado que la demostración pedía, sin embargo puede que uds tengan otras maneras de acabarla o intentando terminar la mía.
Espero sus aportes