высказывание, логическая величина (константа, переменная), ло гические операции, логическое выражение. Основные понятия математической логики Высказывание (суждение) — это повествовательное предложение,
в котором что-либо утверждается или отрицается. По поводу любого
высказывания можно сказать, истинно оно или ложно. Например:
«Лед — твердое состояние воды» — истинное высказывание.
«Треугольник, это геометрическая фигура» — истинное выска
зывание.
«Париж — столица Китая» — ложное высказывание.
6 < 5 — ложное высказывание.
Логические величины: понятия, выражаемые словами: ИСТИ
НА, ЛОЖЬ (true, false). Следовательно, истинность высказываний
выражается через логические величины.
Логическая константа: ИСТИНА или ЛОЖЬ.
Логическая переменная: символически обозначенная логическая
величина. Следовательно, если известно, что
А, В, X, Y и пр. —
переменные логические величины, то это значит, что они могут
принимать значения только ИСТИНА или ЛОЖЬ.
