Распространенным типом логических моделей является логика предикатов первого порядка. Логика предикатов является расширением логики высказываний, так как основным объектом является переменное высказывание (предикат), истинность или ложность которого зависит от значения его переменных.
Высказыванием (суждением) называется предложение, принимающее значение ?истина? или ?ложь?. Эти значения называются истинностными значениями высказывания.
Значение высказывания ситуативно, то есть в каждой определенной ситуации высказывание принимает одно из двух значений ?истина? или ?ложь.