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