0:00
AvanceretLogisk ÆkvivalensBevisfuldførelse

Fuldfør følgende bevis ved brug af case-analyse:

  1. P ∨ Q (Præmis)
  2. P → R (Præmis)
  3. Q → R (Præmis)
  4. Case 1: Antag P
  5. _____ (?)
  6. Case 2: Antag Q
  7. _____ (?)
  8. _____ (?)

Mål: Bevis R

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

Mål: Bevis ?

Klik på de tomme felter for at udfylde beviset