0:00
MellomLogisk EkvivalensBevis

Gitt premissene:

  1. P → Q
  2. ¬Q

Bevis: ¬P

P → Q, ¬Q ⊢ ¬P

Mål: Bevis ?

Bygg beviset ditt trinn for trinn

1.
P → Q
Premiss
2.
¬Q
Premiss