Page 64 - Konu Özetleri AYT Mantık

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

Örnek:
Bütün liderler öngörülüdür. (1. öncül önerme )
Mehmet liderdir. ( 2. öncül önerme )
O hâlde Mehmet öngörülüdür. ( Sonuç önermesi )

Klasik mantıkta geçerli bir çıkarımdır.
Sembolik mantıkta da sembolleştirilerek denetlenebilir bir çıkarımdır.

Tenis bir spor türüdür. (1. öncül önerme )
Sporcular güçlü kaslara sahiptir. ( 2. öncül önerme )
O hâlde sporcular ahlaklıdır. ( Sonuç önermesi )

Klasik mantıkta bir çıkarım olarak kabul edilmez. Çünkü klasik mantıkta önermelerin içeriği, anlamı önemlidir ve birbiriyle
ilişkili önermelerde yine onlarla ilişkili yeni bir önerme elde edilebilir.
Ancak sembolik mantık önermeleri biçimsel olarak ele alır ve denetler. Yani sembolleştirilmiş önerme ve eklemler yoluyla
bu çıkarım sembolik mantıkta denetlenebilir bir çıkarımdır.

64 MEBİ KONU ÖZETLERİ MANTIK - AYT