Respuestas
Respuesta:
Contradicción
Explicación paso a paso:
Por reducción al absurdo:
Supóngase que no fuese contradicción, luego habría al menos una asignación devalores de verdad para p y q que harían a la proposición verdadera, y como es un bicondcional, ~(p->~q) tendría el mismo valor de verdad que q->~p. Pero según las tablas de verdad p->~q tiene el mismo valor de verdad de q->~p (q->~p es el contrarrecíproco de q->~p). Así, pues, ~(p->~q) tendría el mismo valor de verdad que q->~p y p->~q tiene el mismo valor de verdad de q->~p, luego por reflexividad y transitividad de la identidad, ~(p->~q) y p->~q tienen el mismo valor de verdad, pero según la tabla te verdad de la negación, ~(p->~q) y p->~q NO tienen el mismo valor de verdad. En resumen, ~(p->~q) y p->~q tienen el mismo valor de verdad y ~(p->~q) y p->~q NO tienen el mismo valor de verdad. Lo que es una contradicción. Pero a esa contradiccióm se llegó por suponer en primer lugar que la proposición no es una contradicción. Luego, por reducción al absurdo, la proposición es una contradicción.