Искусственный интеллект

Правила вывода а Ьр имеют дело непосредственно с формулами, а не с таблицами истинности, позволяя по истинности одних формул делать заключения об истинности других. Символы а и р в правиле вывода обозначают одну или несколько формул; а называется условием, ар — следствием. Если в условии или следствии формул несколько, то они записываются через запятую. Нас прежде всего будут интересовать только такие правила вывода, с помощью которых на основании истинности всех формул, входящих в условие правила вывода, можно при любой интерпретации сделать заключение об истинности всех формул, входящих в следствие правила вывода. Обычно такие правила называют состоятельными. Доказательство состоятельности правила вывода можно осуществить с помощью таблицы истинности, каждая строка которой соответствует одной из моделей условия, а общее число строк совпадает с числом всех моделей условия. Если всем этим условиям соответствуют истинные следствия, то правило является состоятельным.