0:00
AvanzatoEquivalenza LogicaCompletamento di Dimostrazione

Completa la seguente dimostrazione usando l'analisi per casi:

  1. P ∨ Q (Premessa)
  2. P → R (Premessa)
  3. Q → R (Premessa)
  4. Caso 1: Supponiamo P
  5. _____ (?)
  6. Caso 2: Supponiamo Q
  7. _____ (?)
  8. _____ (?)

Obiettivo: Dimostrare R

P ∨ Q, P → R, Q → R ⊢ R

Obiettivo: Dimostrare ?

Fai clic sui campi vuoti per completare la dimostrazione