Operacije sa iskazima
Na iskazima se mogu primenjivati standardne logičke operacije.
Disjunkcija[uredi | uredi izvor]
Disjunkcija redom iskaza p i q je iskaz "p ili q", u oznaci , koji je tačan akko je bar jedna od iskaza p, q tačan.
Konjunkcija[uredi | uredi izvor]
Konjunkcija redom iskaza p i q je iskaz "p i q", u oznaci , koji je tačan akko su oba iskaza p i q tačni.
Implikacija[uredi | uredi izvor]
Implikacija redom iskaza p i q je iskaz „ako p onda q", u oznaci , koji je netačan akko je p tačan, a q netačan.
Ekvivalencija[uredi | uredi izvor]
Ekvivalencija redom iskaza p i q je iskaz "p ako q", u oznaci , koji je tačan akko su ili oba iskaza tačna ili oba iskaza netačna.
Negacija[uredi | uredi izvor]
Negacija iskaza p je iskaz „ne p", u oznaci , koji je tačan akko je p netačan.
Alternacija[uredi | uredi izvor]
Alternacija (isključna disjunkcija ili ekskluzivna disjunkcija) redom iskaza p i q je iskaz „ili p ili q", u oznaci koji je tačan akko je jedan iskaz tačan a drugi iskaz netačan.