Iskazi (sudovi)
Bilo kakva izjavna rečenica koja ima smisla i koja ima jednu od dvije istinitosne vrijednosti (tačno ili netačno) predstavlja iskaz.
Složeni iskazi
a) konjukcija
Def. Konjukcija iskaza p i q je složen iskaz p i q koji je tačan samo ako su oba iskaza tačna.
b) disjunkcija
Def. Disjunkcija iskaza p i q je složen iskaz p ili q koji je tačan ako je bar jedan od iskaza tačan.
c) implikacija
Def. Implikacija iskaza p i q je složen iskaz p slijedi q/ p implicira q/ p povlači q/ ako je p tada je q koji je netačan samo ako je p tačno, a q netačno.
d) ekvivalencija
Def. Ekvivalencija iskaza p i q je složen iskaz p ekvivalentno q/ p ako i samo ako q koji je tačan samo ako su oba tačna ili oba netačna.
e) negacija
Def. Negacija iskaza p i q je složen iskaz nije p/ne p koji je tačan samo ako je p netačno i obratno.
