Основы логики

Слайд 2

раздел математики, предназначенная для описания действий над переменными величинами, которые принято

раздел математики, предназначенная для описания действий над переменными величинами, которые принято

обозначать строчными латинскими буквами, например a,b,x,y и т.д.
Термин «логика» происходит от
древнегреческого logos,
означающего «слово, мысль,
понятие, рассуждение, закон»

Алгебра

Слайд 3

Алгебру логики часто называют булевой алгеброй, по имени английского математика Джорджа

Алгебру логики часто называют булевой алгеброй, по имени английского математика Джорджа

Буля (1815-1864),
разработавшего
в XIX в. ее основные
положения

Алгебра логики- аппарат, который позволяет выполнять действия над высказываниями.

Слайд 4

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

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

ложно
Высказывание – повествовательное предложение, в котором что-либо отрицается или утверждается

Основные понятия логики

Слайд 5

Пример

Пример

Слайд 6

Существуют выражения, которые не являются высказываниями. Обычно это определение терминов, уравнения,

Существуют выражения, которые не являются высказываниями.
Обычно это определение терминов, уравнения,

неоднозначно сформированные высказывания, если истинность или ложность не установлена и т.д.
Слайд 7

Например Определение термина Не указано значение переменной x Не указано о

Например

Определение термина

Не указано значение переменной x

Не указано о каком именно человеке

идет речь

Не указано где именно идет дождь, город, время года и т.д.