MANTIK
SEMBOLLEŞTİRME - ÖNERME EKLEMLERİ
KONU
ÖZETİ
SEMBOLLEŞTİRME
• Günlük dilde ifade edilmiş olan önerme ve çıkarımları sembolik mantık diline çevirmeye "sembolleştirme" denir.
• Basit önermeler p, q, r, s, t gibi harflerle sembolleştirilir.
• Önerme eklemleri; değil, ve, veya, ise, ancak ve ancak " A, V, " biçiminde sembolleştirilir.
• Bir veya birden fazla bileşik önermeden, bir önerme eklemiyle yeni bir bileşik önerme meydana getirirken önceki öner-
meler paranteze alınır. Önerme gruplarını birbirinden ayırmak için ( [ J, O türünden parantez işaretleri kullanılır.
ÖNERME EKLEMLERİ
Sembolik mantıkta önerme eklemlerinin iki temel işlevi vardır:
1. Önerme eklemleri, iki ya da daha fazla basit önermeyi birleştirmek suretiyle bileşik önerme elde etmeye yarar.
2. Onermelerin tutarlılık, geçerlilik, eş değerliği ile çıkarımların geçerliliğini denetlemeyi sağlar.
Onerme eklemlerinin sembolleri ve örnek kullanımları:
Önerme Eklemi
Değilleme Eklemi
ümel Evetleme
Eklemi
Tikel Evetleme
Eklemi
Koşul Eklemi
Karşılıklı Koşul
Eklemi
MANTIK - AYT
Sembolü
Günlük Dilde
Kullanımı
değil
ancak ve
ancak
Örnek Önerme
Çocuk kötü değildir.
Ayşe ve Ahmet avukattır.
Mahmut evde oturacak veya
arkadaşlarıyla görüşecektir.
Meltem sinemaya giderse
mutludur.
insan ancak ve ancak çalışırsa
başarılı olur.
Sembolik
Mantıkla
Kullanımı
-p
Onermenin
Tanımlaması
Değilleme
Onermesi
Tümel Evetleme
Önermesi
Tikel Evetleme
Önermesi
Koşul
Önermesi
Karşılıklı Koşul
Önermesi
MEBİ KONU ÖZETLERİ
65
