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

Из пројекта Википедија

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

Садржај

[уреди] Дисјункција

Дисјункција редом исказа 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 je исказ "p акко q", у ознаци p \Leftrightarrow q, који је тачан акко су или оба исказа тачна или оба исказа нетачна.

[уреди] Негација

Негација исказа p је исказ "не p", у ознаци \neg p, који је тачан акко је p нетачан.