Summary: Се дефинира логички исказ и основните логички операции
Note: Your browser may not currently support MathML. See our browser support page for additional details. You can always view the correct math in the PDF version.
Во математиката, како и во секојдневниот говор, се користат реченици со кои се искажуваат одредени тврдења кои се нарекуваат искази. Исказите може да бидат вистинити или невистинити. Вистинитоста на исказот се означува со симболот T (се чита “те”), а невистинитоста со
За логичките искази важат следниве операции:
Негација на исказот p e логички исказ со спротивна вистинитосна вредност од онаа на исказот p и се означува со
На пр. ако p е вистинит исказ, тогаш
Операцијата конјункција на два логички искази p и q се означува со
и за неа се користи знакот
Дисјункција на два логички искази p и q се означува со
а знакот за дисјункција
За логичката операција импликација се користи ознаката
Овој исказ се чита “од p следи q” или “q е последица од p”. Вистинитосната вредност на исказ со импликација е неточно ако и само ако p е точно а q е неточно.
За операцијата еквиваленција се користи ознаката
и се чита “p е еквивалентно со q”. Вистинитосна вредност на исказ со еквиваленција е точно ако и само ако двата искази p и q имаат иста вистинитосна вредност. Еквиваленцијата означува дека