Usuario:Wikiman~eswikibooks/ejercicio 12

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

"Jorge es elegido sí y solo si la votaciónes numerosa.
 La votación es numerosa, o Jorge es el elegido o Juan no será
 nombrado. Por lo tanto juan será nombrado"

P=Jorge es elegido
Q=la votación es numerosa
S=Juan será nombrado 

P↔Q                   P ↔ Q     Q v (Pv ~S)      V F
Qv (P v ~S)           V   F     F    V   F       S Q
____________             F              V        P
S                                   V
        conclusión: S    no válida
                    V