Sembolik Mantığa Geçiş-Önerme ve Yapısı - Basit ve Bileşik Önermeler - Çıkarım
Anlatım
Sembolik Mantığa Geçiş-Önerme ve Yapısı - Basit ve Bileşik Önermeler - Çıkarım
Sembolik mantık, klasik mantığın DOĞAL DİL ifadelerini SEMBOLLERLE (harfler, işaretler) GÖSTEREREK daha KESİN ve SİSTEMATİK bir analiz yapmayı amaçlar. BASİT önerme TEK bir yargı içerirken, BİLEŞİK önerme İKİ veya DAHA FAZLA basit önermenin eklemlerle (ve, veya, ise gibi) BİRLEŞMESİYLE oluşur.
Çözümlü örnek
Gerçek Sınav Sorusu
((p ⇒ q) ∨ (r ∧ p)) ⇔ ∼ ((q⇒∼ r) ∧ r) bileşik önermesinin ana eklemi aşağıdakilerden hangisidir?
A) ⇒
B) ∧
C) ∼
D) ∨
E) ⇔ LYS 2010 MANTIK
- Bir bileşik önermenin ana eklemi, önermeyi en son (en dıştaki iki büyük parçayı birbirine bağlayan) eklemdir. ((p ⇒ q) ∨ (r ∧ p)) ⇔ ∼((q ⇒ ∼r) ∧ r) önermesinde parantez içindeki iki büyük ifade "⇔" ile birbirine bağlanmaktadır; dolayısıyla önermenin en dışında kalan ve tüm önermeyi kapsayan eklem "⇔"dır, cevap E'dir.