Modus tollens: p→q, ¬q ⊨ ¬p geçerli mi?

p → q geçerliyse ve q yanlışsa p de yanlış olmalıdır: p'yi doğru kılan her şey q'yu da doğru kılardı. Sonucu değillemek öncülü değiller.

Geçerlip→q, ¬q ⊨ ¬p

Tablonun bütün dalları kapanıyor, yani hiçbir atama öncülleri doğru, sonucu yanlış yapmıyor.

Kanıt (anlamsal tablo)

  1. 1p→qöncül
    1. 2¬qöncül
      1. 3¬psonucun değillemesi
        1. 4q
          1. 5p
            1. 6p

            2. 7q

kapalı dal

Anlamsal tablolar nasıl işler →

Hesap Makinesinde Deneyin

Daha fazla çözümlü kanıt