«Ժխտում (տրամաբանություն)»–ի խմբագրումների տարբերություն

չ
clean up, replaced: → (3), է: → է։, ը: → ը։ (3), թ: → թ։, մ: → մ։, ր: → ր։ oգտվելով ԱՎԲ
չ (clean up, replaced: → (3), է: → է։, ը: → ը։ (3), թ: → թ։, մ: → մ։, ր: → ր։ oգտվելով ԱՎԲ)
'''Ժխտում''', տրամաբանական գործողություն, որի ժամանակ «ժխտում» տրամաբանական շաղկապի միջոցով տվյալ ասույթից (ելակետային ասույթ) ստացվում նոր ասույթ:ասույթ։ Ստացված բարդ ասույթն անվանում են ելակետային ասույթի ժխտում:ժխտում։ Խոսակցական լեզվում «ժխտում» տրամաբանական շաղկապին համապատասխանում է հիմնականում «ոչ» բառը:բառը։
«Ժխտում» շաղկապը նշանակվում է «–», «¬», «N» սիմվոլներով, իսկ ժխտման միջոցով «a» պարզ ասույթից ստացված բարդ ասույթն արտահայտվում է հետևյալ կերպ` «¬a», կամ «Na»: <br />«Ժխտում» տրամաբանական շաղկապի ճշմարտության աղյուսակն ունի հետևյալ տեսքը.
{| class="wikitable"
|-
| Ճ
|}
Աղյուսակից երևում է, որ եթե ելակետային ասույթը ճշմարիտ է, ապա նրա ժխտումը սխալ է, իսկ եթե այն սխալ է, ապա նրա ժխտումը ճշմարիտ է:է։ Այսինքն, a և ¬a ասույթները ճշմարտության կամ սխալականության տեսակետից ունեն հակառակ արժեքները:արժեքները։ Այդպիսի դատողությունները տրամաբանության մեջ ընդունված է անվանել հակասող դատողություններ:դատողություններ։
Ժխտել կարելի է ոչ միայն պարզ ասույթը, այլ նաև բարդ ասույթը: ասույթը։
 
== Տես նաև ==
1 105 242

edits