Disjunkcia (logika): Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
d Robot: Adding Category:Články_bez_interwiki |
d Robot: Automated text replacement (-[[Category: +[[Kategória:) |
||
Riadok 5:
Disjunkcia viacerých výrokov (množiny výrokov) je pravdivá práve vtedy, ak je pravdivý aspoň jeden z týchto výrokov. Disjunkcia prázdnej množiny výrokov sa považuje za nepravdivý výrok.
[[
[[
| |||