2 of 6

Клод Шеннон (1916-2001). Его исследования позволили применить алгебру логики в вычислительной технике

Логика

Аристотель (384-322 до н.э.). Основоположник формальной логики (понятие, суждение, умозаключение).

Джордж Буль (1815-1864). Создал новую область науки - Математическую логику (Булеву алгебру или Алгебру высказываний).

3 of 6

Высказывание - это предложение на любом языке, содержание которого можно однозначно определить как истинное или ложное.

В русском языке высказывания выражаются повествовательными предложениями:

Земля вращается вокруг Солнца.

Москва - столица.

Побудительные и вопросительные предложения высказываниями не являются.

Без стука не входить!

Откройте учебники.

Ты выучил стихотворение?

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

Но не всякое повествовательное предложение является высказыванием:

Лебедь, рак и щука.

Высказывание или нет?

Зимой идет дождь.

Снегири живут в Крыму.

Кто к нам пришел?

У треугольника 5 сторон.

Как пройти в библиотеку?

Переведите число в десятичную систему.

Запишите домашнее задание

Простые и сложные высказывания

Высказывания бывают простые и сложные.

Сложные высказывания строятся из простых с помощью логических операций: НЕ, И, ИЛИ

Операция НЕ превращает высказывание в противоположное

НЕ(х>5)

Операция И истинна, если все части высказывания истинны.

(x>3) И (x<5)

Операция ИЛИ истинна, если хотя бы одна из частей высказывания истинна.

(x>3) ИЛИ (x<5)

Логические операции