Пропозициональная логика, она же "логика высказываний",
изучает логические отношения между высказываниями.
Высказывание – это предложение, о котором можно сказать, истинно оно или ложно.
В исчислении высказываний (см. логика высказываний) нет предметных переменных,
то есть переменных, которые могут принимать нелогические значения, например, числовые.
Исчисление логики предикатов первого порядка
(это другое исчисление, не такое как "исчисление высказываний", круче)
Для того чтобы в логические исчисления могли быть включены нелогические константы и переменные, вводится понятие предиката.
Нульместный предикат представляет собой высказывание.
N-местным предикатом на множестве X называется n-местная функция из множества Xn во множество {ложь, истина}.
Поскольку множество значений любого предиката лежит во множестве {ложь, истина}, то с предикатами можно производить все операции алгебры логики, и
все известные свойства логических операций обобщаются для предикатов.
Суждение — сочетание понятий, одно из которых — субъект — определяется и раскрывается через другое — предикат