Условие:
Поясните, что является интерпретацией для формулы исчисления высказываний. Аналогично, что мы называем интерпретацией для произвольной формулы исчисления предикатов? Привести примеры.
Решение:
Интерпретацией формулы исчисления является приписывание значений И (истина) или Л (ложь) входящим в нее переменным. Формула истинна в некоторой интерпретации тогда и только тогда, когда она получает значение И в данной интерпретации.
Дано выражение 
Интерпретацию представим в виде таблицы истинности: