Говорят, что формула В логически следует из формулы А, если формула В имеет значение И при всех интерпретациях, при которых формула А имеет значение И. Говорят, что формулы А и В логически эквивалентны (обозначается А↔B или просто А=В), если они являются логическим следствием друг друга. Логически эквивалентные формулы имеют одинаковые значения истинности при любой интерпретации.
Наиболее краткий и простой способ вывода основан на теореме дедукции.
Далее вставка 5А.