Kontrapozisyon: p→q ⊨ ¬q→¬p geçerli mi?

p → q ile ¬q → ¬p aynı şeyi söyler: hiçbir şey öncülü doğru kılarken sonucu yanlış bırakamaz. Bir koşullu, karşıt tersine eşdeğerdir.

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→¬psonucun değillemesi
      1. 3¬q
        1. 4¬p
          1. 5q
            1. 6p
              1. 7p

              2. 8q

kapalı dal

Anlamsal tablolar nasıl işler →

Hesap Makinesinde Deneyin

Daha fazla çözümlü kanıt