Ayrık tasım: p∨q, ¬p ⊨ q geçerli mi?

Bir ayrık önerme en az bir doğru yan ister; bu yüzden p ∨ q ile ¬p geriye q'yu bırakır. Bir yan elenince öbürü ayakta kalı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. 2¬pöncül
      1. 3qsonucun değillemesi
        1. 4p
          1. 5p

          2. 6q

kapalı dal

Anlamsal tablolar nasıl işler →

Hesap Makinesinde Deneyin

Daha fazla çözümlü kanıt