Лоґічна дізъюнкція (хоснує ся про ню сімбол ∨) є выроковый злучник, котрой значіня є правдов акурат тогды, кідь холем єден зо вступных операндів є правдов.
Два вырокы споєны дізъюнкціов творять вырок (называный і дізъюнкціов тых двох выроків), котрый є правдивый точно тогды, як є правдивый холем єден зо споёваных выроків. У говоровім языку ся переважно выражать злучником або.
p q p ∨ q 0 0 0 0 1 1 1 0 1 1 1 1
Дізъюнкція веце выроків (ґруп выроків) є правдива точно тогды, як є правдивый холем єден з тых выроків. Дізъюнкція порожнёй множины выроків ся бере як неправдивый вырок.
Катеґорія:Математічна лоґіка