«Ժխտում (տրամաբանություն)»–ի խմբագրումների տարբերություն
չ հայերեն անվանում |
ավելացվեց Կատեգորիա:Բուլյան հանրահաշիվ ՀոթՔաթ գործիքով |
||
Տող 26. | Տող 26. | ||
[[Կատեգորիա:Տրամաբանություն]] |
[[Կատեգորիա:Տրամաբանություն]] |
||
[[Կատեգորիա:Բուլյան հանրահաշիվ]] |
|||
08:33, 11 Նոյեմբերի 2018-ի տարբերակ
Այս հոդվածն աղբյուրների կարիք ունի։ Դուք կարող եք բարելավել հոդվածը՝ գտնելով բերված տեղեկությունների հաստատումը վստահելի աղբյուրներում և ավելացնելով դրանց հղումները հոդվածին։ Անհիմն հղումները ենթակա են հեռացման։ |
Ժխտում, տրամաբանական գործողություն, որի ժամանակ «ժխտում» տրամաբանական շաղկապի միջոցով տվյալ ասույթից (ելակետային ասույթ) ստացվում նոր ասույթ։ Ստացված բարդ ասույթն անվանում են ելակետային ասույթի ժխտում։ Խոսակցական լեզվում «ժխտում» տրամաբանական շաղկապին համապատասխանում է հիմնականում «ոչ» բառը։ «Ժխտում» շաղկապը նշանակվում է «–», «¬», «N» սիմվոլներով, իսկ ժխտման միջոցով «a» պարզ ասույթից ստացված բարդ ասույթն արտահայտվում է հետևյալ կերպ՝ «¬a», կամ «Na»։
«Ժխտում» տրամաբանական շաղկապի ճշմարտության աղյուսակն ունի հետևյալ տեսքը.
a | ¬a |
---|---|
Ճ | Ս |
Ս | Ճ |
Աղյուսակից երևում է, որ եթե ելակետային ասույթը ճշմարիտ է, ապա նրա ժխտումը սխալ է, իսկ եթե այն սխալ է, ապա նրա ժխտումը ճշմարիտ է։ Այսինքն, a և ¬a ասույթները ճշմարտության կամ սխալականության տեսակետից ունեն հակառակ արժեքները։ Այդպիսի դատողությունները տրամաբանության մեջ ընդունված է անվանել հակասող դատողություններ։ Ժխտել կարելի է ոչ միայն պարզ ասույթը, այլ նաև բարդ ասույթը։
Տես նաև