Örnek Soruyu Değiştir

KONU ÖZETİ MANTIK SEMBOLİK MANTIĞA GEÇİŞ - ÖNERME VE YAPISI - BASİT VE BİLE İK ÖNERMELER- IKARIM 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ç- • 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 • Onermeler 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 kaplaya ır. Özne MEBİ KONU ÖZETLERİ 62 Yüklem Bağ MANTIK - AYT