Bileşik Önermeler
Bileşik Önermeler
İki ya da daha çok basit önermenin mantık BAĞLAÇLARIYLA birleştirilmesiyle bileşik önerme elde edilir. VE (∧) bağlacı, YALNIZCA her iki önerme de doğruyken doğrudur (diğer tüm durumlarda yanlıştır). VEYA (∨) bağlacı, YALNIZCA her iki önerme de yanlışken yanlıştır (en az biri doğruysa doğrudur). Bu doğruluk tabloları, karmaşık bileşik önermelerin doğruluk değerini adım adım hesaplamanın temelidir; bir bileşik önermenin TAUTOLOJİ (her zaman doğru) mu, ÇELİŞKİ (her zaman yanlış) mı olduğu bu tablolarla belirlenir.
Gerçek Sınav Sorusu
a, b ve c birer tam sayı olmak üzere, p: “a • b tektir.’’ q: “b + c tektir.’’ r: “c çifttir.’’ önermeleri veriliyor. (q ∧ r) ⇒ p önermesi yanlış olduğuna göre I. a çift II. b tek III. c çift ifadelerinden hangileri doğrudur?
A) Yalnız I
B) Yalnız II
C) I ve II
D) I ve III
E) I,II ve III
- (q∧r)⇒p önermesinin YANLIŞ olması için öncül (q∧r) DOĞRU, sonuç (p) YANLIŞ olmalıdır; bu koşuldan a, b, c'nin tek-çift DURUMLARI çıkarılarak I, II, III ifadelerinin doğruluğu KONTROL edilir; cevap D'dir.