В логике высказываний интерпретация формулы заключается в приписывании атомарным подформулам логических значений true или false. ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Керов Л.А.
Экспертные системы. Инструментальные средства разработки
В логике высказываний интерпретация формулы заключается в приписывании атомарным подформулам логических значений true или false. В логике предикатов понятие интерпретации представляется более сложным, так как формула логики предикатов не является логической константой, и ее значение зависит от значений ее аргументов.
