Maddi koşulluk: p→q ⊨ ¬p∨q geçerli mi?

p → q tam olarak ¬p ∨ q'nun geçerli olduğu satırlarda geçerlidir: ya öncül yanlıştır ya da sonuç doğrudur. Koşullu, kılık değiştirmiş bir ayrık önermedir.

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. 2¬p∨qsonucun değillemesi
      1. 3¬p
        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