Pochopení disjunkce: Logický vztah NEBO
Disjunkce je logický operátor, který představuje vztah OR (nebo buď-nebo) mezi dvěma příkazy. Označuje se symbolem ∨.
Například výrok „Prší nebo je jasná obloha“ lze zapsat pomocí disjunkce jako:
Prší ∨ Obloha je jasná
To znamená, že alespoň jeden z těchto dvou výroků musí být pravdivý. Pokud prší, pak je první tvrzení pravdivé, a je-li obloha jasná, pak je pravdivý druhý výrok.…Disjunkce je základním pojmem v logice a široce se používá v mnoha oblastech, včetně informatiky, matematiky a filozofie. Často se používá k reprezentaci alternativních možností nebo výsledků a k uvažování o platnosti tvrzení na základě jejich logických vztahů.



