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