Sr Examen
  • Expresiones idénticas

  • ¬ (¬ P ⇒ ¬ P)
  • ¬ ¬ P ⇒ ¬ P

Expresión ¬ (¬ P ⇒ ¬ P)