Usuario:Wikiman~eswikibooks/ejercicio 11

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

"O el agua está fria o el día no es caluroso.
 El día es caluroso.
 Si el estanque se acaba de llenar, entonces el agua está fría.
 Por lo tanto el tanque se acaba de llenar."

P=el agua está fría
Q=el día es caluroso
S=el estanque se acaba de llenar

Pv ￢Q        (P v ￢Q)      S → P     Q              V F
Q              V   V        V    V     F              S Q
S→P             V            V                      P
_______
S
       conclusión: S        no válida
                   V