0:00
Svårighetsgrad: AvanceradKategori: Logisk EkvivalensTyp: BevisGivet premisserna:
- P ∨ Q
- ¬P
Bevisa: Q
P ∨ Q, ¬P ⊢ QMål: Bevisa ?
Bygg ditt bevis steg för steg
1.
P ∨ Q
Premiss
2.
¬P
Premiss
Givet premisserna:
Bevisa: Q
P ∨ Q, ¬P ⊢ QBygg ditt bevis steg för steg