Логическое следствие и метод резолюций. (Глава 3) презентация

Логическое следствие и проблема дедукции в логике высказываний
А В означает, что из А лог. следует В.
Т. 3.1. Если А В и В С , то А С.
А означает, что А - тавтология
(логически общезначима).
Т. 3.2. А В ↔ (А ⇒ В).
А1 , А2 ,…, А m ╞ В