9.3 Дедукция ыкмасы Мисалы, Modus Ponens эрежеси Modus Ponens Сунуштоо логикасында modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), ошондой эле modus ponendo ponens (латынча « коюу жолу менен коюу ыкмасы ) же импликацияны жоюу же антецедентти ырастоо, дедуктивдүү аргумент формасы жана корутундунун эрежеси https://en.wikipedia.org › wiki › Modus_ponens
Modus ponens - Wikipedia
эгер “P. Q” сунушу туура болсо, “P” сунушу чын болсо, анда “Q” чындык болушу керектигин айтат. Корутундунун бул эрежеси материалдык импликациянын төмөнкү тавтологиялык ырастоосу катары көрсөтүлүшү мүмкүн: “((P. Q)•P). С."
Бул p жана q жыйынтык чыгаруу эрежеси эмнени билдирет?
Латын тилинен "башкаруу ыкмасы". Modus ponens менен контрпозитивдин айкалышынан алынган корутунду эрежеси. Эгер q жалган болсо жана p q (p q) дегенди билдирсе, анда p да жалган. Ой жүгүртүүдөгү ката. p билдирмеси берилгенде, ~p логикалык жактан карама-каршылыкка алып келсе, анда p чын болушу керек.
Чыгуунун 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.
Сиз PQну кантип окуйсуз?
p → q импликациясы (окуу: p q дегенди билдирет, же эгерде p анда q болсо) эгерде p чын болсо, анда q да чындык деп ырастаган жобо.p жалган болгондо p → q чын экенине кошулабыз p билдирмеси импликациянын гипотезасы, ал эми q оператору импликациянын корутундусу деп аталат.
Эмне үчүн P жана Q логикада колдонулат?
Сунуштар бирдей же логикалык жактан эквиваленттүү, эгерде алар ар дайым бирдей чындыкка ээ болсо. Башкача айтканда, p жана q логикалык жактан эквиваленттүү, эгерде q чын болгондо p чын болсо жана тескерисинче, ал эми q жалган болгондо p жалган болсо, жана тескерисинче. Эгерде p жана q логикалык жактан эквиваленттүү болсо, биз p=q деп жазабыз.
