0:00
Svårighetsgrad: MellanliggandeKategori: Logisk EkvivalensTyp: BevisGivet premisserna:
- P → Q
- ¬Q
Bevisa: ¬P
P → Q, ¬Q ⊢ ¬PMål: Bevisa ?
Bygg ditt bevis steg för steg
1.
P → Q
Premiss
2.
¬Q
Premiss
Givet premisserna:
Bevisa: ¬P
P → Q, ¬Q ⊢ ¬PBygg ditt bevis steg för steg