0:00
AvanceretLogisk ÆkvivalensBevisfuldførelse
Fuldfør følgende bevis ved brug af case-analyse:
- P ∨ Q (Præmis)
- P → R (Præmis)
- Q → R (Præmis)
- Case 1: Antag P
- _____ (?)
- Case 2: Antag Q
- _____ (?)
- _____ (?)
Mål: Bevis R
P ∨ Q, P → R, Q → R ⊢ RMål: Bevis ?
Klik på de tomme felter for at udfylde beviset