1. Основные понятия математической логики Демонстрация к

Реклама
ОСНОВНЫЕ ПОНЯТИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

В Ы С К А З Ы В А Н И Е - э т о п о в е с т в о в а т е л ь н о е предложение,
в котором что-либо утверждается
и л и о т р и ц а е т с я.
По поводу любого высказывания можно сказать, истинно оно или ложно.
Логическая
константа
Фиксированное значение
ИСТИНА или ЛОЖЬ
Логическая
величина
Понятие, выражаемое словами
ИСТИНА (TRUE), ЛОЖЬ (FALSE)
• Луна – спутник земли
(простое высказывание – всегда истинно)
• 2 > 3 (простое логическое выражение – ложное)
Логическая
переменная
Символически обозначенная
логическая величина
• Петя решил задачу
(высказывание может быть истинным или
ложным в зависимости от ситуации)
Логическое выражение – простое или сложное высказывание,
представленное в символической форме.
Сложное высказывание строится из простых с помощью логических операций (связок)
Похожие документы
Скачать