Çift koşullu eleme: p↔q, p ⊨ q geçerli mi?

p ↔ q'nun iki yanı her zaman aynı doğruluk değerini taşır; bu yüzden p size q'yu verir, q da p'yi verirdi. Çift koşullu iki yönde de işler.

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
          1. 5q

        2. 6p

kapalı dal

Anlamsal tablolar nasıl işler →

Hesap Makinesinde Deneyin

Daha fazla çözümlü kanıt