Презентация, доклад по информатики на тему Основные понятия алгебры логики

разум».

законов логики. Аристотелева логика считается классической, формальной логикой.
Большой вклад в развитие логики внес Лейбниц. В его время словесная форма записи стала неудобна для записи сложных выражений. Лейбниц придал логике символьный вид.
Алгебра логики, основы которой заложил в начале 19 века Дж. Буль, используется для решения задач, написания сложных программ.

рассматривается как инструмент познания окружающего мира.

Основными формами мышления являются понятие, высказывание, умозаключение.

элемент логики, повествовательное предложение (утверждение), содержание которого можно определить как истинное оно или ложное.

делителем числа 7. (ложное)

и с помощью формальных языков (математических, химических и прочих знаков).
Примеры высказываний:
5х5=25 (истинное),
Н+О=Н2О (ложное)

нескольких суждений (посылок) может быть получено новое суждение (заключение). Примером умозаключений могут быть геометрические доказательства.

инверсия)

высказывание.

Логическое сложение и умножение – двуместные операции, в них участвует два высказывания.

согласная.
Поступайте в университет!
Все ученики нашей школы любят математику.
Париж – столица Франции.
Все кошки серы.
Логика – это наука, изучающая законы и формы мышления.

обосновать.
1. Земля не вращается вокруг солнца.
2. 6+5=10
3. Пушкин – гениальный русский поэт.
4. Число 8 – простое число.
5. Волк – травоядное животное.

обосновать.
7+8=15 и 6+7=13
Число 3 больше числа 2
Неверно, что корова – хищное животное.

высказывание выражено в форме вопросительного предложения?
Как определяется истинность или ложность простого высказывания?
Перечислите основные логические операции.

сложных высказывания