SEMBOLİK MANTIK
ÇIERRIMLRRIN SEMBOLLEŞIİRİLMESİ
Sadece önermeler değil, çıkarınlar da aynı yöntemle sembolleştirilebilir. Bir çıkarım en az iki öncülden ve bir sonuç
önermesinden oluşur, Omcül thıarrneler ayrı ayrı sembolleştirilir ve sonuç önerrnesime "o hâlde" anlamana gelen • "
sembolü ile bağlanır,
Bu çakarımda öncüller p ve q ile, o hâlde ifadesi r, ile scmuç önermesi ise r ile sembolleştirilmiştir,
Örnek: bitkiyi xvmek gerekir, (p)
Çiçekler bitkidir, (q)
O hölde çiçekleri sevmek (r)
BASİT VE BİLEŞİK ÖNERMELER
» Herhangi bir önerme eklemMe yapılan önermelere bileşik önerme denir. İçinde hemngi tür önerme eklemi tx_llurxlurmayan önerme-
de basil denir,
Basit Önerme: Tek yargı b'diren, Özne, yüklem ve bağdan oluşan
Örnek: "Insan canlıdan" önermesi lek bir bildirmekledir
Bileşik Önermenin "ve", "veya", "iso' 'ancak', "ancak "değir gibi bağlam-
maşıyla elde edilir, Bu önermeleri bağlayan sembollere önerme eklemleri denir.
Örnek: 'Kaan (p p, q)
uvnnı
Sembolik mantıkta basit önermeler olumsuz olamaz. Çünkü Olumsuz önermeler, değilleme eklemi taşırlar. Oysaki klasik
mantıkta basit bir önerme olumsuz olabilir. Sembolik mantıkta bir önormonin basit veya bileşik olması, onun önormo oklorni
alıp almamasıyla ilgilidir,
BASİT VE BİLEŞİK ÖNERME ÖRNEKLERİ
Önerme
Mantık bir bilimdir,
Mantık bir bilim değiMir.
Hava Ve
bulutluysa
Hava ya da kapalıdır,
Gür" ancak Ve ancak Olur,
Smbolü
Klasik Mantıktaki Ad'
Önerme
Basit önmme
Bileşik Önerme
Önerme
Önerme
Bil
Mantıktaki Ad'
Önerme
Bileşik
Bileşik
BİlOşİk
Bileşik
B İ leŞİk
ANA EKLEM
Ana bileşen
RNR EKLEM - RNA BİLEŞEN NASIL RYIRT EDİLİR?
ANA BİLEŞEN
Ana Eklem
Ana bileşen
Ön bileşen
Art bileşen
Bir önermeyi veya önerme grubunu etkileyen
» Ana bileşenleri birbirine bağlayan Önerme ek-
'emleridir.
» Ana eklemin etrafındaki bileşenlerdir.
Ana bileşenlerin önünde yer alama ön bileşen
ana eklemden Sonra gelene Üşe art bileşen de—
