Իսկության աղյուսակ
Իսկության աղյուսակ , տրամաբանական գործողությունը բնութագրող աղյուսակ։ Այս դեպքում «տրամաբանական գործողություն» ասելով հասկանում ենք գործողությունը, որում փոփոխականների (գործողության պարամետրերի) և հենց գործողության նշանակությունը տրամանական իսկություն են արտահայտում։ Օրինակ, երկնիշ տրամաբանության մեջ նրանք կարող են երկու իմաստ ընդունել՝ «ճշմարիտ» կամ «կեղծ» ( կամ , կամ )։
Գործողությունների աղյուսակային առաջադրանքը հանդիպում է միայն տրամաբանության մեջ, սակայն տրամաբանական գործողությունների համար աղյուսակները սկսեցին հատկապես հարմար համարվել ավելի ուշ։ Արդեն 20-րդ դարի սկզբից նրանք ունեցան իրենց հատուկ անվանումը։ Իսկության աղյուսակները հատկապես գործածվում են բուլյան հանրահաշվում և նմանատիպ բազմանիշ տրամաբանական համակարգերում։
Իսկության աղյուսակները հիմնական երկնիշ տրամաբանական ֆունկցիաների համար խմբագրել
Կոնյունկցիա
|
Դիզյունկցիա
|
մոդուլ 2-ով գումարում
| |||||||||||||||||||||||||||||||||||||||||||||
Իմպլիկացիա
|
Համարժեքություն
| ||||||||||||||||||||||||||||||||||||||||||||||
Շեֆերի շտրիխ
|
Փիրսի սլաք
|
Ժխտում
|
Իսկության աղյուսակներ որոշ եռանիշ տրամաբանական գործողությունների համար խմբագրել
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
Մինիմում | 2 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
Մաքսիմում Մինուս. | 2 | 2 | 2 | 2 | 1 | 1 | 2 | 1 | 0 |
x | 2 | 1 | 0 | 2 | 1 | 0 | 2 | 1 | 0 |
---|---|---|---|---|---|---|---|---|---|
y | 2 | 2 | 2 | 1 | 1 | 1 | 0 | 0 | 0 |
Webb(x,y) | 0 | 0 | 0 | 0 | 2 | 2 | 0 | 2 | 1 |
Տես նաև խմբագրել
Գրականություն խմբագրել
- Յաբլոնսկի, Գավրիլով, Կուդրյավցև, Տրամաբնության հանրահաշվի գործողություններ և Պոստի դասեր, Մոսկվա, «Գիտություն»։