Usuario:Wikiman~eswikibooks/ejercicio 14

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


"O el animal no es un pájaro o tiene alas.
 El animal es un pájaro, entonces pone huevos.
 El animal no tiene alas, por tanto no pone huevos."


P=El animal es un pájaro
Q=Tiene alas
S=Pone huevos  


¬P v Q       ¬P v Q     p → S      ¬Q                 V F
 P→ S          F   F     V   F      V                 P Q
¬Q               F         F                            S
________
¬S           conclusión: ¬S     no válida
                          V