De Morgan yasası: ¬(p∧q) ⊨ ¬p∨¬q geçerli mi?

¬(p ∧ q) hangi bileşenin yanlış olduğunu söylemez, yalnızca ikisinin birden geçerli olamayacağını söyler — yani tam olarak ¬p ∨ ¬q.

Geçerli¬(p∧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. 1¬(p∧q)öncül
    1. 2¬p∨¬qsonucun değillemesi
      1. 3p∧q
        1. 4¬p
          1. 5¬q
            1. 6p
              1. 7q
                1. 8p

                2. 9q

kapalı dal

Anlamsal tablolar nasıl işler →

Hesap Makinesinde Deneyin

Daha fazla çözümlü kanıt