Кайсы эреже p qдан pдан жыйынтык чыгарат?

2024 Автор: Fiona Howard | [email protected]. Акыркы өзгөртүү: 2024-01-10 06:40

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 деп жазабыз.