Sr Examen
  • Expresiones idénticas

  • (P → ¬ (Q → P)) → ¬ Q
  • P → ¬ Q → P → ¬ Q

Expresión (P → ¬ (Q → P)) → ¬ Q