Logo hy.boatexistence.com

Ո՞ր կանոնից է ենթադրվում p q-ն p-ից:

Բովանդակություն:

Ո՞ր կանոնից է ենթադրվում p q-ն p-ից:
Ո՞ր կանոնից է ենթադրվում p q-ն p-ից:

Video: Ո՞ր կանոնից է ենթադրվում p q-ն p-ից:

Video: Ո՞ր կանոնից է ենթադրվում p q-ն p-ից:
Video: ԻՆՉՊԵՍ ԱՃԵԼ ԵԿԱՄՈՒՏԸ ՕԳՏԱԳՈՐԾԵԼՈՎ ՃԱԿԱՏԱԳՐԻ ՄԱՏՐԻՑԸ | Թվաբան Արտեմ Բլոկ 2024, Մայիս
Anonim

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 - Վիքիպեդիա

-ը մեզ ասում է, որ եթե «P. Q» դրույթը ճշմարիտ է, իսկ «P» դրույթը ճշմարիտ է, ապա «Q»-ն պետք է ճշմարիտ լինի: Եզրակացության այս կանոնը կարող է արտահայտվել որպես նյութական ենթատեքստի հետևյալ տավտոլոգիական պնդումը՝ «((P. Q)•P). Հարց.»

Ի՞նչ է եզրակացության այս կանոնը, իսկ q-ն ենթադրում է p:

Լատիներեն՝ «ժխտման մեթոդ»: Մոդուս 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. …
  • Disjunctive Syllogism (D. S.) -P կամ Q. …
  • Հաղորդակցում (շաղկ.) -Պ. …
  • Կառուցողական երկընտրանք (C. D.) - (Եթե P, ապա Q) և (Եթե R, ապա S) …
  • Պարզեցում (Simp.) -P և Q. …
  • Կլանում (աբսորբ.) -Եթե P, ապա Q.

Ինչպե՞ս եք կարդում PQ:

Արդյունքը p → q (կարդացեք՝ p-ն նշանակում է q, կամ եթե p-ն, ապա q) այն դրույթն է, որը պնդում է, որ եթե p-ն ճշմարիտ է, ապա q-ն նույնպես ճշմարիտ է:Մենք համաձայն ենք, որ p → q ճշմարիտ է, երբ p կեղծ է p պնդումը կոչվում է ենթատեքստի վարկած, իսկ q պնդումը կոչվում է ենթադրության եզրակացություն::

Ինչու են P-ը և Q-ն օգտագործվում տրամաբանության մեջ:

Առաջարկությունները հավասար են կամ տրամաբանորեն համարժեք, եթե դրանք միշտ ունեն նույն ճշմարտության արժեքը: Այսինքն, p-ն և q-ն տրամաբանորեն համարժեք են, եթե p-ն ճիշտ է, երբ q-ն ճիշտ է, և հակառակը, և եթե p-ն սխալ է, երբ q-ն սխալ է, և հակառակը: Եթե p-ն և q-ն տրամաբանորեն համարժեք են, մենք գրում ենք p=q:

Խորհուրդ ենք տալիս: