0:00
IntermédiaireÉquivalence LogiqueComplétion de Preuve

Complétez la preuve par contradiction suivante :

  1. P → Q (Prémisse)
  2. P (Prémisse)
  3. ¬Q (Prémisse)
  4. _____ (?)
  5. _____ (?)

Objectif : Dériver une contradiction

P → Q, P, ¬Q ⊢ ⊥

Objectif : Prouver ?

Cliquez sur les champs vides pour remplir la preuve