А или
А . Логическая формула (логическое выражение) — формула, содер
жащая лишь логические величины и знаки логических операций.
Результатом вычисления логической формулы является ИСТИ
НА или ЛОЖЬ.
Пример 1. Рассмотрим сложное высказывание: «Число 6 делит
ся на 2, и число 6 делится на 3». Представить данное высказыва
ние в виде логической формулы.
Обозначим через
А простое высказывание «число 6 делится на
2», а через
В простое высказывание «число 6 делится на 3». Тогда
соответствующая логическая формула имеет вид:
А & В. Очевид
но, ее значение — ИСТИНА.
Пример 2. Рассмотрим сложное высказывание: «Летом я поеду
в деревню или в туристическую поездку».
Обозначим через
А простое высказывание «летом я поеду в
деревню», а через
В — простое высказывание «летом я поеду в
туристическую поездку». Тогда логическая форма сложного выс
казывания имеет вид
A v В. Пример 3. Рассмотрим высказывание: «Неверно, что 4 делит
ся на 3».
Обозначим через
А простое высказывание «4 делится на 3». Тогда
логическая форма отрицания этого высказывания имеет вид —i
А. Правила выполнения логических операций отражены в следую
щей таблице, которая называется таблицей истинности (табл. 8.2).
Т а б л и ц а 8.2
А В
