0:00
Sværhedsgrad: AvanceretKategori: Logisk ÆkvivalensType: BevisGivet præmisserne:
- P ∨ Q
- ¬P
Bevis: Q
P ∨ Q, ¬P ⊢ QMål: Bevis ?
Opbyg dit bevis trin for trin
1.
P ∨ Q
Præmis
2.
¬P
Præmis
Givet præmisserne:
Bevis: Q
P ∨ Q, ¬P ⊢ QOpbyg dit bevis trin for trin