Правила для получения истины от ранее заявленных или доказанные истины. Это основа вывода двигателя в большинстве экспертных систем. Смотреть и цепь правило, modus ponens, modus tollens, резолюции.