Disjunkcija

Disjunkcija (lot. disjunctio – atskyrimas) – loginis veiksmas, reiškiamas jungtimi ar / arba.^[1] Naujas sudėtinis teiginys bus klaidingas tik tada, kai klaidingi visi jį sudarantys teiginiai. Visais kitais atvejais jis teisingas.

Teiginių p ir q disjunkcija žymima ${\displaystyle p\lor q}$ ir skaitoma „p arba q“.^[2]

Programavime teiginių sujungimo jungtuku „arba“ veiksmas vadinamas disjunkcija ir žymimas sutartiniu žodžiu „or“ arba simboliais |, ||.^[3]

Galimos disjunkcijos reikšmės (sujungiant du teiginius x ir y)

x	y	x arba y
ne	ne	ne
ne	taip	taip
taip	ne	taip
taip	taip	taip

Disjunkcijos reikšmė lygi klaidinga tiktai tuo atveju, kai abiejų argumentų reikšmės yra klaidinga. Kitais atvejais disjunkcijos reikšmė lygi teisinga.

Taip pat skaitykite

• Inversija
• Konjunkcija