Page 65 - Konu Özetleri AYT Mantık

MANTIK

KONU SEMBOLLEŞTİRME - ÖNERME EKLEMLERİ
ÖZETİ
AYT AYT AYT AYT AYT AYT AYT AYT AYT AYT AYT AYT

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 “ ~, , V, ¡, ” biçiminde sembolleştirilir.
V
• 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 ( ), [ ], {} 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. Önermelerin tutarlılık, geçerlilik, eş değerliği ile çıkarımların geçerliliğini denetlemeyi sağlar.
Önerme eklemlerinin sembolleri ve örnek kullanımları:

G Sembolik Önermenin
Önerme Eklemi Sembolü Günlük Dilde Örnek Önerme Mantıkla Tanımlaması
Kullanımı Kullanımı

Değilleme Eklemi ~ değil Çocuk kötü değildir. ~p Değilleme
Önermesi
Tümel Evetleme V ve Ayşe ve Ahmet avukattır. p q Tümel Evetleme
Eklemi Önermesi
V
Tikel Evetleme V veya Mahmut evde oturacak veya p V q Tikel Evetleme
Eklemi arkadaşlarıyla görüşecektir. Önermesi
Koşul Eklemi ¡ ise Meltem sinemaya giderse p ¡ q Koşul
mutludur. Önermesi
Karşılıklı Koşul ancak ve İnsan ancak ve ancak çalışırsa p q Karşılıklı Koşul
Eklemi ancaka başarılı olur. Önermesi

ananca

MANTIK - AYT MEBİ KONU ÖZETLERİ 65