2. СЪЖДЕНИЯ ИЗРЕЧЕНИЕ НА ЕСТЕСТВЕН ЕЗИК, СЪДЪРЖАНИЕТО НА КОЕТО МОЖЕ ДА СЕ ОЦЕНЯВА КАТО ВЯРНО ИЛИ НЕВЯРНО (ИСТИНА ИЛИ ЛЪЖА), СЕ НАРИЧА СЪЖДЕНИЕ. Пр. 1. Две плюс две е равно на четири. 2. Обичам информатика, но нямам компютър . Изречения, които носят емоционален характер – заповедни, подбудителни … и въпросителните не са съждения . Общото в тези изречения е, че те формулират твърдения – да или не.
3. ЛОГИКА. ДВУЗНАЧНА ЛОГИКА . Терминът Логика ( логос – дума, мисъл, разум) и се използва за означаване на общите закономерности на света и мисленето. Математическата логика е наука за правилните математически разсъждения и изводи. Логика, в която дадено съждение е или вярно, или невярно, се нарича двоична( двузначна) логика .
4. ПРОСТИ И СЛОЖНИ СЪЖДЕНИЯ Прости( елементарни) съждения са тези, които не могат да се разделят на самостоятелни компоненти т.е. не могат да се разглеждат като съставени от други. Пр. Днес е слънчево . Простите съждения се формулират с помощта на прости изречения. Сложните съждения са съставени от две или повече прости съждения. Те се формулират с помощта на сложни(съставни) изречения. Пр. Едно е по-голямо от две или две плюс две е равно на четири .
5.
6.
7. ЛОГИЧЕСКИ ФУНКЦИИ Стойностите на логическите изрази са функция от участващите в тях променливи. И стойностите на променливите, и стойностите на функциите са само 2 - истина или лъжа , които се означават с 1 и 0. Затова се казва, че логическите функции са двоични функции на двоични променливи(аргументи). Табл1. Логически(двоични)функции. В таблицата са дадени стойностите на трите въведени логически функции при различни комбинации от стойности на двата аргумента. x 0 0 1 1 y 0 1 0 1 И( x^ y ) 0 0 0 1 ИЛИ( x v y ) 0 1 1 1 АКО х ТО у(х y ) 1 1 0 1