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

p → q geçerliyse ve p doğruysa q gelir. Modus ponens neredeyse her kanıtın dayandığı kuraldır ve aşağıdaki tablonun bütün dalları kapanır.

Geçerlip→q, p ⊨ q

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. 2pöncül
      1. 3qsonucun değillemesi
        1. 4p

        2. 5q

kapalı dal

Anlamsal tablolar nasıl işler →

Hesap Makinesinde Deneyin

Daha fazla çözümlü kanıt