Page 62 - Konu Özetleri AYT Mantık

MANTIK

KONU SEMBOLİK MANTIĞA GEÇİŞ - ÖNERME VE YAPISI -
ÖZETİ BASİT VE BİLEŞİK ÖNERMELER - ÇIKARIM
AYT AYT AYT AYT AYT AYT AYT AYT AYT AYT AYT AYT

SEMBOLİK MANTIĞA GEÇİŞ
• Klasik mantığın sembolleştirilmiş biçimine sembolik mantık ya da modern mantık denir.
• Klasik mantıktaki çok anlamlılık, belirsizlik ve bulanıklığa bir alternatif olarak geliştirilmiş, kesin çıkarımlara ulaşılması
hedeflenmiştir.
• Klasik mantık günlük dili ve anlamları kullandığı için içeriğin etkisindedir.
• Sembolik mantık, klasik mantıktan farklı olarak, sembollerle kurulmuş biçimsel ifadelerle çalışır, önermelerin biçimsel
yönüyle ilgilenir.
• Sembolik mantık önermeleri sembollerle (harf, işaret ve kurallarla) göstererek bu sembolik ifadeleri denetlemeyi amaç-
lar.
• Sembolik mantık iki değerli mantık (önermeler mantığı, niceleme mantığı), çok değerli mantık (üç değerli mantık, bu-
lanık mantık) gibi çeşitli mantık sistemlerini içinde barındırır.

ÖNERME VE YAPISI

• Önermeler doğru ya da yanlış değer alabilen yani bir doğruluk değerine sahip olan cümlelerdir.
• İki değerli mantık, doğruluk ölçütü olarak doğru ve yanlış değerlerini kabul eden mantık sistemidir.
• İki değerli mantık sistemi önermeler mantığı ve niceleme mantığı olmak üzere iki bölümde incelenir.
• Önermeler mantığı, önerme eklemleriyle oluşmuş önermeleri ve çıkarımları ele alır.

DİKKAT
En yalın hâliyle bir önerme biri özne ve diğeri yüklemi karşılayan en az iki terim ve bunları birbirine bağlayan bir bağdan
oluşur.
Örnek:
Madde yer kaplayandır.
Bu örnek önermede “madde” özne “yer kaplayan” yüklem ve “dır” bağdır. Bu önermenin doğru ya da yanlış olmak üzere
iki farklı doğruluk değeri olabilir.

Madde yer kaplayandır.

Özne Yüklem Bağ

62 MEBİ KONU ÖZETLERİ MANTIK - AYT