Disjunctie begrijpen: de logische OF-relatie

Disjunctie is een logische operator die de OR-relatie (of of-of) tussen twee uitspraken weergeeft. Het wordt aangegeven met het symbool ∨.

De uitspraak "Het regent of de lucht is helder" kan bijvoorbeeld worden geschreven met behulp van de disjunctie als:

Het regent ∨ De lucht is helder

Dit betekent dat ten minste één van de twee uitspraken waar moet zijn. Als het regent, is de eerste bewering waar, en als de lucht helder is, dan is de tweede bewering waar. Disjunctie is een fundamenteel concept in de logica en wordt veelvuldig gebruikt op veel gebieden, waaronder informatica, wiskunde en filosofie. Het wordt vaak gebruikt om alternatieve mogelijkheden of uitkomsten weer te geven, en om te redeneren over de geldigheid van uitspraken op basis van hun logische relaties.