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