Operacije sa iskazima

Na iskazima se mogu primenjivati standardne logičke operacije.

Disjunkcija

Disjunkcija redom iskaza p i q je iskaz "p ili q", u oznaci $p\vee q$, koji je tačan akko je bar jedna od iskaza p, q tačan.

Konjunkcija

Konjunkcija redom iskaza p i q je iskaz "p i q", u oznaci $p\wedge q$, koji je tačan akko su oba iskaza p i q tačni.

Implikacija

Implikacija redom iskaza p i q je iskaz „ako p onda q", u oznaci $p\Rightarrow q\,$, koji je netačan akko je p tačan, a q netačan.

Ekvivalencija

Ekvivalencija redom iskaza p i q je iskaz "p ako q", u oznaci $p\Leftrightarrow q\,$, koji je tačan akko su ili oba iskaza tačna ili oba iskaza netačna.

Negacija

Negacija iskaza p je iskaz „ne p", u oznaci $\neg p\,$, koji je tačan akko je p netačan.

Alternacija

Alternacija (isključna disjunkcija ili ekskluzivna disjunkcija) redom iskaza p i q je iskaz „ili p ili q", u oznaci $p\Uparrow q\,$ koji je tačan akko je jedan iskaz tačan a drugi iskaz netačan.