disjunkce

logika operace, která ze dvou výroků vytváří výrok složený pomocí spojky nebo. Rozlišují se disjunkce vylučovací a nevylučovací.

Vytvořeno: 14. 3. 2000
Aktualizováno: 2. 11. 2002
Autor: -red-

Odkazující hesla: funktor.