Исказ (логика) — разлика између измена

Нека је <math>Var = \{p_1,...,p_n,...\}</math> пребројив [[скуп]] исказних слова, <math>\wedge,\vee,\Rightarrow,\Leftrightarrow,\neg</math> [[логички везниkвезник|логички везници]], а <math>\top</math> и <math>\bot</math> логичке константе.