Մաթեմատիկայում երբեմն կարևոր է որոշել, թե որն է տվյալ մաթեմատիկական դրույթի հակառակը: Սա սովորաբար կոչվում է հայտարարության «ժխտում»: Պետք է հիշել մի բան, որ եթե պնդումը ճշմարիտ է, ապա դրա ժխտումը կեղծ է (և եթե պնդումը կեղծ է, ապա դրա ժխտումը ճշմարիտ է):
Ի՞նչ է ժխտման օրինակը:
Ժխտումը ինչ-որ բանից մերժում կամ ժխտում է: Եթե ձեր ընկերը կարծում է, որ իրեն հինգ դոլար եք պարտք, և դուք ասում եք, որ չեք պարտք, ձեր հայտարարությունը ժխտում է: … «Ես չեմ սպանել սպասավորին» կարող է լինել ժխտում, ինչպես նաև «Ես չգիտեմ, թե որտեղ է գանձը»: Այս հայտարարություններից մեկն ասելը նույնպես ժխտում է։
Ի՞նչ է ժխտումը մաթեմատիկական տրամաբանության մեջ:
Տրամաբանության մեջ ժխտումը, որը նաև կոչվում է տրամաբանական լրացում, գործողություն է, որը տեղափոխում է առաջարկը մեկ այլ առաջարկի «ոչ», գրված, կամ: Այն ինտուիտիվ կերպով մեկնաբանվում է որպես ճշմարիտ, երբ կեղծ է, և կեղծ, երբ ճիշտ է: Այսպիսով, ժխտումը միակողմանի (մեկ փաստարկով) տրամաբանական կապ է:
Ի՞նչ է որոշների ժխտումը մաթեմատիկայի մեջ:
Ընդհանուր առմամբ. «Ոմանք A-ն B են» ժխտումը «Ոչ A-ն (է) B է»: (Նշում. սա կարող է նաև ձևակերպվել «Բոլոր A-ն են» B-ի հակառակը, «թեև այս կառուցումը երբեմն երկիմաստ է հնչում:)
Ի՞նչ է հակադրական օրինակը:
Օրինակ, հաշվի առեք«Եթե անձրև է գալիս, ուրեմն խոտը թաց է» արտահայտությունը ՃԻՇՏ է: Այնուհետև կարող եք ենթադրել, որ «Եթե խոտը թաց չէ, ուրեմն անձրև չի գալիս» հակադրական պնդումը նույնպես ՃԻՇՏ է:
