0:00
IntermedioEquivalenza LogicaCompletamento di Dimostrazione

Completa la seguente dimostrazione per contraddizione:

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

Obiettivo: Derivare una contraddizione

P → Q, P, ¬Q ⊢ ⊥

Obiettivo: Dimostrare ?

Fai clic sui campi vuoti per completare la dimostrazione