0:00
AvansertLogisk EkvivalensBevis Fullføring

Fullfør følgende bevis ved hjelp av saksanalyse:

  1. P ∨ Q (Premiss)
  2. P → R (Premiss)
  3. Q → R (Premiss)
  4. Sak 1: Anta P
  5. _____ (?)
  6. Sak 2: Anta Q
  7. _____ (?)
  8. _____ (?)

Mål: Bevis R

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

Mål: Bevis ?

Klikk på de tomme feltene for å fylle ut beviset