Логическое следствие и метод резолюций

1.

Логическое следствие
Пусть А и В пропозициональные формы (формулы логики
высказываний). Считается, что В логически следует из А,
если для каждой совокупности значений
пропозициональных букв, при которых А=1 форма В тоже
принимает значение 1. В этом случае записывается А╞ В
и читается: «из А логически следует В» или «В является
логическим следствием из А».
Легко доказать следующую теорему:
Теорема: Если А╞ В и