Операције са исказима

На исказима се могу примењивати стандардне логичке операције.

Дисјункција

Дисјункција редом исказа -{p}- и -{q}- је исказ "-{p}- или -{q}-", у ознаци $p\vee q$, који је тачан акко је бар једна од исказа -{p}-, -{q}- тачан.

Конјункција

Конјункција редом исказа -{p}- и -{q}- је исказ "-{p}- и -{q}-", у ознаци $p\wedge q$, који је тачан акко су оба исказа -{p}- и -{q}- тачни.

Импликација

Импликација редом исказа -{p}- и -{q}- је исказ „ако -{p}- онда -{q}-", у ознаци $p\Rightarrow q$, који је нетачан акко је -{p}- тачан, а -{q}- нетачан.

Еквиваленција

Еквиваленција редом исказа -{p}- и -{q}- је исказ "-{p}- ако -{q}-", у ознаци $p\iff q$, који је тачан акко су или оба исказа тачна или оба исказа нетачна.

Негација

Негација исказа -{p}- је исказ „не -{p}-", у ознаци $\mathrm{\neg }p$, који је тачан акко је -{p}- нетачан.

Алтернација

Алтернација (искључна дисјункција или ексклузивна дисјункција) редом исказа -{p}- и -{q}- је исказ „или -{p}- или -{q}-", у ознаци $p\Uparrow q$ који је тачан акко је један исказ тачан а други исказ нетачан.