Модель продукционных правил относится к классу дедуктивных логических систем ,
Литералом называется атомарная формула ,
Модель продукционных правил Модель продукционных правил относится к классу дедуктивных логических систем , в основе которых лежит принцип дедукции - порождение истинных фактов из заданных аксиом и правил .
Литералом называется атомарная формула , а атомарная формула с отрицанием называется отрицательным литералом .