Logo uz.boatexistence.com

Qaysi qoida p dan p q ni chiqaradi?

Mundarija:

Qaysi qoida p dan p q ni chiqaradi?
Qaysi qoida p dan p q ni chiqaradi?
Anonim

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.

Tavsiya: