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