Modus Ponens nasıl çalışır?
Modus Ponens nasıl çalışır?
Anonim

Önerme mantığında, modus ponens (/ˈmo?d?s ˈpo?n?nz/; MP; ayrıca modus ponendo ponens (Latince "onaylayarak onaylayan mod") veya ima ortadan kaldırılması) NS bir çıkarım kuralı. Bilişim Teknoloji Yapabilmek "P, Q ve P'yi ima eder" şeklinde özetlenebilir. NS doğru olduğu iddia edildi, bu nedenle Q doğru olmalıdır."

Ayrıca, örnekle modus ponens ve modus tollen nedir?

Temel fikirler şunlardır: İki tutarlı mantıksal argüman yapısı vardır: modus ponens ("Olumlama yoluyla onaylamanın yolu") ve modus geçiş ücretleri ("inkar ederek inkar eden yol"). Modus Ponens : "A doğruysa, B doğrudur. A doğrudur. Dolayısıyla B doğrudur."

Ayrıca, modus tollens örneği nedir? Devamındaki örnekler arasında modus geçiş ücretleri argüman formu: Kek şekerle yapılırsa, kek tatlıdır. Bu nedenle kek şekerle yapılmaz. Sam Kanada'da doğduysa, o zaman Kanadalıdır.

Bunu göz önünde bulundurarak, modus tollens neden geçerlidir?

MT'ye genellikle Sonucu Reddetmek de denir. İkinci, modus ponens ve modus geçiş ücretleri evrensel olarak kabul edilir geçerli argüman biçimleri. Daha resmi olarak, bir geçerli Argümanın şu temel özelliği vardır: Öncüller doğruysa, sonucun doğru olması gerekir.

Sağlam bir argüman yanlış bir sonuca varabilir mi?

DOĞRU: Eğer bir argüman NS ses , o zaman geçerlidir ve tüm gerçek öncüllere sahiptir. geçerli olduğundan, argüman öyle ki, eğer tüm öncüller doğruysa, o zaman çözüm doğru olmalı. Yani eğer geçerli argümanın yanlış bir sonucu var , olamaz Sahip olmak tüm gerçek tesisler. Böylece en az bir Öncül olmalıdır YANLIŞ.

Önerilen: