Логическое следование. Принцип дедукции.

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

      Наиболее краткий и простой способ вывода основан на теореме дедукции.

Далее вставка 5А.

 

Логика - доступно для всех