Usuario:Wikiman~eswikibooks/ejercicio 7

A-1El siguiente razonamiento no es válido. Dar una asignación de certeza que demuestre su invalidez:

"Si María termina pronto, entonces se irá a casa con Rosa.
O se irá a casa con Rosa o encontrará a Antonia.
María termina pronto.
Por tanto no encontrará a Antonia."

P=María termina pronto
Q=Irá a casa con Rosa
S=Encontrará a Antonia

(P→Q)v(Q v S)           (P→Q)v (Q v S)     P      V F
 P                       V  F   F   V      V      S Q  
_____________             F        V              P
   
￢S                            V
 
  Conclusión: ￢S    no válida
                F