Sembolleştirme - Önerme Eklemleri
Anlatım
Sembolleştirme - Önerme Eklemleri
Sembolik mantıkta önermeler genellikle p, q, r gibi harflerle gösterilir; önerme eklemleri VE (∧, konjonksiyon), VEYA (∨, disjonksiyon), DEĞİL (¬, olumsuzlama), İSE (→, koşullu) ve ANCAK VE ANCAK (↔, çift koşullu) olmak üzere SEMBOLLERLE ifade edilir.
Çözümlü örnek
Gerçek Sınav Sorusu
(p ∧ q) ⇒ r önermesiyle ilgili aşağıdaki yargılardan hangisi yanlıştır?
A) Ana eklemi tümel evetleme eklemidir.
B) r önermesi art bileşendir.
C) Koşul önermesidir.
D) (p ∧ q) önermesi ön bileşendir.
E) İki önerme eklemi kullanılmıştır.
- (p ∧ q) ⇒ r bir KOŞUL (şart) önermesidir; ana eklemi "⇒" yani koşul eklemidir, "tümel evetleme eklemi" adı "∧" bağlacına verilir, "⇒"ye değil. Bu nedenle "Ana eklemi tümel evetleme eklemidir." ifadesi YANLIŞTIR. Koşul önermesinde "⇒"den önceki kısım (p ∧ q) ön bileşen, sonraki kısım r ise art bileşendir (B ve D doğru); önermede "∧" ve "⇒" olmak üzere iki eklem kullanılmıştır (E doğru) ve önerme gerçekten bir koşul önermesidir (C doğru). Yanlış olan ifade A'dır, cevap A'dır.