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