Usuario:Wikiman~eswikibooks/ejercicio 13

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

"Si Pedro es elegido ganador, entonces Juan está fuera de combate.
 Si Pedro es elegido ganador , entonces Miguel también está fuera de combate.
 Juan está fuera de combate también, por tanto Pedro es elegido ganador."

P=Pedro es elegido ganador.
Q=Juan está fuera de combate.
S=Miguel está fuera de combate.

P → Q        P → Q     P → S           Q               V F 
P → S        V   F      V   V           F              P Q
Q               F         V                            S
______ 
P
            conclusión: P     no válida
                        V