Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

54 p : Сергей интересуется логикой; q : Сергей посещает лекции; r : Сергей посещает семинары. Тогда рассматриваемое высказывание может быть записано на языке исчисления высказываний следующим образом: F 1 : p  qr F 2 : q  r _____________ G: p 1) Представляем формулу F F G 2 1 & & в виде КНФ: , }. , , { ) . )( )( ( ) )( ( ) )( ( & & S p q p r q r p p q p r q r p qr q r p p qr q r p F F G p 2 1                2) Резолютивный вывод p r p q q r    , ; p p r p r   , ; П p p , Поскольку резолютивный вывод заканчивается пустым дизъюнктом, то G является логическим следствием формул F 1 и F 2 .