Mantık

[askinelibol]

Mantık – Konu Anlatımı​

2) Veya Bağlacı: p ve q iki önerme olsun, bu iki önermenin doğruluk değerinin yalnız bir tanesinin 1 olması, 1 değeri döndürmesi için yeterlidir. “v” ile gösterilir. Veya bağlacının doğruluk tablosu aşağıdadır..

Bileşik Önermelerde Olumsuzluk (Değili) Kavramı:
De Morgan Kuralı: Bileşik önermelerinin tümleyen alma durumuna “De Morgan Kuralı” denir. Kuralı De Morgan adlı İngiliz bir matematikçi bulduğundan “De Morgan Kuralı” adı verilmiştir. Kuralara göre değerler aşağıdaki tabloda gösterilmiştir.

Ayrıca, p ⇒ q şartlı önermesinde;
p’ye “hipotez”, q’ya ise “hüküm” denir, eğer önermenin doğruluk değeri 1 ise, bu şartlı önermeye “gerektirme” adı verilir. Önermede q, p için gerek koşul, p önermesine ise, q için gerek koşul denir.
p ⇒ p ≡ 1
p ⇒ p’ ≡ p’
p’ ⇒ p ≡ p
1 ⇒ p ≡ p
p ⇒ 1 ≡ 1
0 ⇒ p ≡ 1
p ⇒ 0 ≡ p’
Koşullu Önermenin Karşıtı, Tersi ve Karşıt Tersi:
p ⇒ q önermesinin,
Karşıtı; q ⇒ p,
Tersi; p’ ⇒ q’
Karşıt Tersi; q’ ⇒ p’
5) Ancak ve Ancak Bağlacı (İki Yönlü Şartlı Önerme): p ve q birer önerme olmak üzere, p ve q’nun değerleri aynı (ikisi 1 veya ikisi 0) iken 1 değerini döndüren iki yönlü şartlı önermedir. “⇔” işareti ile gösterilir.
p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)