Во математиката, како и во секојдневниот говор, се користат реченици со кои се искажуваат одредени тврдења кои се нарекуваат искази. Исказите може да бидат вистинити или невистинити. Вистинитоста на исказот се означува со симболот T (се чита “те”), а невистинитоста со
Операции со логички искази
За логичките искази важат следниве операции:
Негација
Негација на исказот
На пр. ако
Конјункција
Операцијата конјункција на два логички искази
и за неа се користи знакот
Дисјункција
Дисјункција на два логички искази
а знакот за дисјункција
Импликација
За логичката операција импликација се користи ознаката
Овој исказ се чита “од
Еквиваленција
За операцијата еквиваленција се користи ознаката
и се чита “




