0:00
AvanceradLogisk EkvivalensBevisavslutning

Komplettera följande bevis med hjälp av fallanalys:

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

Mål: Bevisa R

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

Mål: Bevisa ?

Klicka på de tomma fälten för att fylla i beviset