Формула логики
Формула логики — это запись логического высказывания с помощью логических переменных, операций и скобок. По формуле можно однозначно определить, как составлено высказывание и при каких значениях переменных оно истинно.
Логическая переменная обозначается обычно заглавной латинской буквой: \(A\), \(B\), \(C\). Она принимает одно из двух значений: 1 — «истина» или 0 — «ложь». Переменной можно сопоставить простое высказывание, например: \(A\) — «Число 7 нечётное».
Для соединения высказываний применяют логические связки: отрицание \(¬A\), конъюнкцию \(A \land B\), дизъюнкцию \(A \lor B\), импликацию \(A \rightarrow B\) и эквиваленцию \(A \leftrightarrow B\). Скобки показывают порядок выполнения операций и помогают избежать неоднозначности.
Как строится формула
- Выделите простые высказывания и обозначьте их переменными.
- Определите, какие связки соединяют высказывания.
- Запишите операции в нужном порядке, расставив скобки.
- Проверьте, что формула записана без пропущенных операций и скобок.
В этой формуле сначала выполняется отрицание \(C\) и конъюнкция \(A \land B\), затем результаты объединяются дизъюнкцией. Получившееся выражение является формулой независимо от того, истинна ли она при конкретных значениях переменных.
Высказывание «Число \(x\) делится на 2 и на 3 или не делится на 5» можно записать так: \(F=(A \land B)\lor\neg C\), где \(A\) — «\(x\) делится на 2», \(B\) — «\(x\) делится на 3», \(C\) — «\(x\) делится на 5».
Формула логики — это сама жазба, а её истинность зависит от значений переменных. Например, \(A \lor B\) — формула, но определить, равна ли она 1, можно только после тапсырмалар значений \(A\) и \(B\).
Какая жазба является формулой логики?
Главное
- Формула логики записывает высказывание через переменные, логические операции и скобки.
- Переменные принимают значения 0 или 1, а скобки задают порядок действий.
- Формула и её истинность — не одно и то же: значение зависит от набора значений переменных.