Disjunkcija sudova
Izgled
Disjunkcija sudova je sud koji dobijemo kada povežemo dva suda sa P v Q - P ili Q
Ona je tačna ako je jedan od sudova P i Q istinit, u protivnom (ako su oba neistinita) i disjunkcija je neistinita.
Tablica istinitosti
P | v | Q |
---|---|---|
i | i | i |
i | i | n |
n | i | i |
n | n | n |
Iz definicije proizlazi P v Q =Q v P odnosno za ovu operaciju važi zakon komutacije