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:
