Դիզյունկցիա

Վիքիպեդիայից՝ ազատ հանրագիտարանից

Դիզյունկցիա (լատ. disjunctio - բաժանել), տրամաբանական գործողություն, որի ժամանակ պարզ ասույթներից կազմվում է բարդ ասույթ՝ «կամ» շաղկապի կիրառմամբ։ Ստացված բարդ ասույթն անվանում են դիզյունկտիվ ասույթ։ Սիմվոլիկ նշանակումն է՝ aVb (կարդացվում է՝ a կամ b)։ «V» սիմվոլը լատինական «vel» (կամ) շաղկապի առաջին տառն է։ «Կամ» տրամաբանական շաղկապի համար ընդունված է կիրառել նաև այլ սիմվոլներ։

Տրամաբանության մեջ տարբերում են դիզյունկցիայի երկու տեսակ՝ պարզ կամ թույլ դիզյունկցիա և խիստ դիզյունկցիա։

Պարզ դիզյունկցիայի ճշմարտության աղյուսակն ունի հետևյալ տեսքը.

a b aVb
Ճ Ճ Ճ
Ճ Ս Ճ
Ս Ճ Ճ
Ս Ս Ս

Տես նաև[խմբագրել]