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.
Mehmet liderdir.
O hâlde Mehmet öngörülüdür.
(1. öncül önerme )
( 2. öncül önerme )
( 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.
Sporcular güçlü kaslara sahiptir.
O hâlde sporcular ahlaklıdır.
(1. öncül önerme )
( 2. öncül önerme )
( 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.
MEBİ KONU ÖZETLERİ
64
MANTIK - AYT
