- Логическое высказывание – это суждение в форме повествовательного предложения, в отношении которого можно однозначно сказать, истинно (true, 1) оно или ложно (false, 0).
- Логические высказывания обозначаются с помощью логических переменных, в качестве которых используются заглавные латинские буквы: A, B, C, D и т. д.
Простые (элементарные) | Составные (сложные) | |
|---|---|---|
Определение | Это высказывания, которые не включают другие высказывания в качестве своих частей. | Это высказывания, которые состоят из двух и более простых, объединённых логическими связками (операциями): И, ИЛИ, НЕ, ЕСЛИ … ТО, ТОГДА И ТОЛЬКО ТОГДА и др. |
Пример | Дует ветер. | Сейчас идет дождь И открыта форточка. |
Пояснение | А = Дует ветер. F (А) = А | А = Сейчас идет дождь. В = Открыта форточка. F (А, В) = А И В |