0:00
IntermedioEquivalencia LógicaCompletar Demostración

Completa la siguiente prueba por contradicción:

  1. P → Q (Premisa)
  2. P (Premisa)
  3. ¬Q (Premisa)
  4. _____ (?)
  5. _____ (?)

Objetivo: Derivar una contradicción

P → Q, P, ¬Q ⊢ ⊥

Objetivo: Demostrar ?

Haz clic en los campos vacíos para completar la demostración