9.3 Deduksiya usuli Masalan, Modus Ponens qoidasi Modus Ponens Taklif mantiqida modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), shuningdek, modus ponendo ponens (lotincha " uchun") nomi bilan ham tanilgan. joylashtirish orqali qo'yish usuli") yoki implikatsiyani yo'q qilish yoki oldingini tasdiqlash, deduktiv argument shakli va xulosa chiqarish qoidasi https://en.wikipedia.org › wiki › Modus_ponens
Modus ponens - Vikipediya
agar “P. Q” taklifi toʻgʻri va “P” taklifi toʻgʻri boʻlsa, “Q” toʻgʻri boʻlishi kerakligini aytadi. Bu xulosa qoidasini moddiy implikatsiyaning quyidagi tavtologik tasdiqi sifatida ifodalash mumkin: “((P. Q)•P). Savol."
Bu p xulosasining qoidasi nima va q p degani?
Lotincha "inkor qilish usuli". Modus ponens va qarama-qarshilik birikmasidan olingan xulosa qoidasi. Agar q noto'g'ri bo'lsa va agar p q (p q) ni nazarda tutsa, p ham yolg'ondir. Fikrlashda xatolik. Agar p ifodasi berilgan bo‘lsa, ~p mantiqiy jihatdan qarama-qarshilikka olib kelsa, u holda p to‘g‘ri bo‘lishi kerak.
Xulosa qilishning 9 ta qoidasi nima?
Ushbu toʻplamdagi shartlar (9)
- Modus Ponens (M. P.) -Agar P bo'lsa, Q. -P. …
- Modus Tollens (M. T.) -Agar P boʻlsa, Q. …
- Gipotetik sillogizm (H. S.) -Agar P boʻlsa, Q. …
- Disyunktiv sillogizm (D. S.) -P yoki Q. …
- Bogʻlovchi (qoʻshma gap) -P. …
- Konstruktiv dilemma (C. D.) -(Agar P bo'lsa, Q bo'lsa) va (Agar R bo'lsa, S) …
- Soddalashtirish (oddiy.) -P va Q. …
- Soʻrilish (abs.) -Agar P boʻlsa, Q.
PQni qanday o'qiysiz?
P → q (o’qing: p q ni bildiradi yoki agar p bo’lsa, q bo’lsa) imo-ishorasi p rost bo’lsa, q ham to’g’ri ekanligini ta’kidlovchi bayonotdir.p noto'g'ri bo'lsa, p → q to'g'ri ekanligiga rozimiz p bayoni implikatsiyaning gipotezasi, q bayoni esa implikatsiyaning xulosasi deb ataladi.
Nega mantiqda P va Q ishlatiladi?
Takliflar har doim bir xil haqiqat qiymatiga ega boʻlsa, ular teng yoki mantiqiy ekvivalent hisoblanadi. Ya'ni, p va q mantiqan ekvivalent bo'ladi, agar q rost bo'lganda p rost bo'lsa va aksincha, agar q noto'g'ri bo'lsa, p noto'g'ri bo'lsa va aksincha. Agar p va q mantiqiy jihatdan ekvivalent bo'lsa, biz p=q yozamiz.
