Her yerdeyiz... :D
...öncül koşul sağlandığında, sonucun onu izleyeceği ve sonuç oluşmamışsa öncülün sağlanmamış olacağıdır. Yani sonucun değilini alırsak, öncülün de değilini almalıyız. Verilen bir argümanın yapısal çözümlemesini kolaylaştırması için bir kısaltma ya da sembolik gösterim kullanacağız. Önceden olduğu gibi, p ve q iki önerme olsun ve ~p (p değil) ve ~q (q değil) de değillerini belirtsin. Son olarak, => sembolü ‘gerekir’ demek olsun. O halde ‘p ise q önermesini p => q diye de belirtebiliriz. Sonucu değilleme, öncülü de değillemeyi gerektirir mantık kuralı da basitçe ~q => ~p olur.
Sayfa 10Kitabı okudu
·
16 görüntüleme
Yorum yapabilmeniz için giriş yapmanız gerekmektedir.