Операције са исказима
На исказима се могу примењивати стандардне логичке операције.
Дисјункција[уреди | уреди извор]
Дисјункција редом исказа p и q је исказ "p или q", у ознаци , који је тачан акко је бар једна од исказа p, q тачан.
Конјункција[уреди | уреди извор]
Конјункција редом исказа p и q је исказ "p и q", у ознаци , који је тачан акко су оба исказа p и q тачни.
Импликација[уреди | уреди извор]
Импликација редом исказа p и q је исказ „ако p онда q", у ознаци , који је нетачан акко је p тачан, а q нетачан.
Еквиваленција[уреди | уреди извор]
Еквиваленција редом исказа p и q је исказ "p ако q", у ознаци , који је тачан акко су или оба исказа тачна или оба исказа нетачна.
Негација[уреди | уреди извор]
Негација исказа p је исказ „не p", у ознаци , који је тачан акко је p нетачан.
Алтернација[уреди | уреди извор]
Алтернација (искључна дисјункција или ексклузивна дисјункција) редом исказа p и q је исказ „или p или q", у ознаци који је тачан акко је један исказ тачан а други исказ нетачан.