Сложниили съставни се наричат такива съждения, които се състоят от поне две прости съждения.
Следователно ,,Навън вали" е просто съждение, докато ,,Навън вали и аз имам чадър" е съставно съждение.
3. Логически операции (функции) Начините по които човек може да свързва простите съждения в сложни, както и необходимостта от това да знае как да определи верностната стойност на едно сложно съждение, ако знае стойностите на съставящите го прости, водят до изучаване и класифициране на логическите функции.
4. Запознаване с някои от основните логически функции на две променливи а) логическо отрицание - има един аргумент и променя стойността му от 1 в 0 или обратно от 0 в 1. Срещат се различни варианти на означаване - !,NOT,¬ и др. Например ако а е съждителна променлива, то отицанието на а можем да запишем по следните начини: !а, NOTa,¬а и др.. По-нататък е използвано означението !, тъй като в езика за програмиране С, който ще бъде предмет на изучаване, е използвано точно това означение за логическото отрицание.
Правилата, по които действа всяка функция най-лесно се описват с т.нар. таблица на истинност, в която се изреждат всички възможни комбинации от стойности на променливите и срещу всяка се показва стойността на функцията.
Таблица за истинност
a
!a
0
1
1
0
Пример: а=,,Днес е топло" !а=,,Днес не е топло"
а=,,Не обичам сладолед" !а=,,Обичам сладолед"
Особен интересно е да се образуват отрицания на изрази в които участват термини като: всеки, никой, някой, съществува, винаги, никога и т.н.
Пример: а=,,Всички момчета харесват футбола"
!а=,,Някои момчета не харесват футбола"
а=,,Никога не вали в Сахара"
!а=,, Понякога вали в Сахара"
б) логическо ,,или" - дизюнкция - има два аргумента и има стойност 1, когато поне един от аргументите й има стойност 1, и 0, когато и двата аргумента са равни на 0.
Означава се с Ú или с OR, например aORb или aÚb.
