0:00
Vanskelighetsgrad: MellomKategori: Logisk EkvivalensType: BevisGitt premissene:
- P → Q
- ¬Q
Bevis: ¬P
P → Q, ¬Q ⊢ ¬PMål: Bevis ?
Bygg beviset ditt trinn for trinn
1.
P → Q
Premiss
2.
¬Q
Premiss
Gitt premissene:
Bevis: ¬P
P → Q, ¬Q ⊢ ¬PBygg beviset ditt trinn for trinn