Корутундунун эрежелери (чыгарылыш эрежелери деп да белгилүү) жайлардан (же гипотезалардан) турган жана корутунду чыгарат логикалык форма же жол көрсөткүч. Бардык ишенимдер туура болгондо тыянак туура болгондо жарактуу аргумент эсептелет, ал эми жараксыз аргумент Монро Коомдук Колледжи белгилегендей жаңылыштык деп аталат.
Чыгуунун 9 эрежеси кандай?
Бул топтомдогу шарттар (9)
- Modus Ponens (M. P.) -Эгер P анда Q. -P. …
- Modus Tollens (M. T.) -Эгер P анда Q. …
- Гипотетикалык силлогизм (H. S.) -Эгер P анда Q. …
- Дизъюнктивдик силлогизм (D. S.) -P же Q. …
- Conjunction (Conj.) -P. …
- Конструктивдүү дилемма (C. D.) -(Эгер P анда Q) жана (Эгер R анда S) …
- Жөнөкөйлөштүрүү (жөнөкөй) -P жана Q. …
- Сирүү (абс.) -Эгер P анда Q.
Эрежелер жана корутунду теориясы деген эмнени билдирет?
Жарактуу аргумент - бул тыянак жайлардын чындык баалуулуктарынан келип чыккан аргумент. Корутунду эрежелери бизде мурунтан эле барбилдирүүлөрдөн жарактуу аргументтерди түзүү үчүн шаблондорду же көрсөтмөлөрдү берет.
Кайсы корутунду эрежеси колдонулат?
Кириш. Корутундунун эрежелери - бул синтаксистик трансформация эрежелери, аларды аргумент түзүү үчүн жайдан корутунду чыгаруу үчүн колдонсо болот. Эрежелердин жыйындысы ар кандай жарактуу корутунду толук болсо, аны чыгаруу үчүн колдонулушу мүмкүн, бирок ал туура болсо, эч качан жараксыз корутунду чыгарбайт.
Эмнетыянак чыгаруу эрежеси?
Пропозициялык логикада конъюнкцияны жоюу (ошондой эле жоюу, ∧ жоюу же жөнөкөйлөтүү деп аталат) жарактуу дароо тыянак, аргумент формасы жана тыянак эрежеси болуп саналат, бул корутундуну жасайт, эгерде конъюнктура А жана В чын, анда А чын, ал эми В чындык.
