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

Jump to navigation Jump to search
Առանց խմբագրման ամփոփման
No edit summary
 
'''Ժխտում''', տրամաբանական գործողություն, որի ժամանակ «ժխտում» տրամաբանական շաղկապի միջոցով տվյալ ասույթից[[ասույթ]]ից (ելակետային ասույթ) ստացվում նոր ասույթ։ Ստացված բարդ ասույթն անվանում են ելակետային ասույթի ժխտում։ Խոսակցական լեզվում «ժխտում» տրամաբանական շաղկապին համապատասխանում է հիմնականում «ոչ» բառը։
{{անաղբյուր}}
 
'''Ժխտում''', տրամաբանական գործողություն, որի ժամանակ «ժխտում» տրամաբանական շաղկապի միջոցով տվյալ ասույթից (ելակետային ասույթ) ստացվում նոր ասույթ։ Ստացված բարդ ասույթն անվանում են ելակետային ասույթի ժխտում։ Խոսակցական լեզվում «ժխտում» տրամաբանական շաղկապին համապատասխանում է հիմնականում «ոչ» բառը։
«Ժխտում» շաղկապը նշանակվում է «–», «¬», «N» սիմվոլներով, իսկ ժխտման միջոցով «a» պարզ ասույթից ստացված բարդ ասույթն արտահայտվում է հետևյալ կերպ՝ «¬a», կամ «Na»։
 
|}
Աղյուսակից երևում է, որ եթե ելակետային ասույթը ճշմարիտ է, ապա նրա ժխտումը սխալ է, իսկ եթե այն սխալ է, ապա նրա ժխտումը ճշմարիտ է։ Այսինքն, a և ¬a ասույթները ճշմարտության կամ սխալականության տեսակետից ունեն հակառակ արժեքները։ Այդպիսի դատողությունները տրամաբանության մեջ ընդունված է անվանել հակասող դատողություններ։
 
Ժխտել կարելի է ոչ միայն պարզ ասույթը, այլ նաև բարդ ասույթը։
 
== Տես նաև ==
 
* [[Դիզյունկցիա]]
* [[Իմպլիկացիա]]
* [[Համարժեքություն]]
 
{{ՀՍՀ|հատոր=4|էջ=278}}
[[Կատեգորիա:Տրամաբանություն]]
[[Կատեգորիա:Բուլյան հանրահաշիվ]]
 
 
{{Անավարտ}}
Անանուն մասնակից

Նավարկման ցանկ