Портал:Логика/Одбрана статија

Логичка дисјункција („или“)

Во логиката и математиката, логичка дисјункција („или“) е логичка операција која резултира со вистина (т) кога еден или повеќе вредности се вистинити. Во граматиката пак, или е сврзник.

Логичката дисјункција е операција на две логички вредности, обично вредностите на две тврдења, која дава вредност невистина (⊥) ако и само ако двата оператора се невистинити. Повоопштено, дисјукнцијата е логичка формула која може да има еден или повеќе литерали раздвоени само со знаци „ИЛИ“. Еден сам литерал честопати се смета за дегенерична функција.

Таблицата на вистинитост на p или q: p q ∨ т т т т ⊥ т ⊥ т т ⊥ ⊥ ⊥

Веновиот дијаграм на p или q:

Прочитајте повеќе...