Обозначим буквой D – непустое множество, называемое полем, что каждая предметная переменная черпает свои значения в D. Примем, далее, что каждому n-местному предикатному символу поставлена в соответствие логическая функция, т.е. функция, определенная на 
со значениями в 
. Примем, наконец, что простой формуле приписывается истинностное значение, связанное с приписыванием элементов из поля D каждой переменной из числа 
, следующим образом. Если переменной приписывается элемент 
поля D и если предикатному символу 
приписывается значение 
: 
, то истинностное значение для будет 
. Например, если есть простая формула и формуле 
приписывается значение , то истинностное значение 
, связанное с приписыванием элемента а переменной x и элемента b переменной y, будет 
.
В теории исчисления высказываний мы приняли, что не имеет значения, которое из двух истинностных значений T и F приписывается простой формуле. В исчислении предикатов делается расширенное допущение, что теория не зависит от поля D и приписывания функций предикатным символом.