Логика предикатов первого порядка является дальнейшим развитием  традиционной логики Аристотеля  и  логики высказываний . Одним из ключевых понятий  логики высказываний  является непосредственно  высказывание  – выражение, записанное с помощью определенного синтаксиса, которому можно приписать истинностное значение (истина или ложь). Например, выражения «В сутках 24 часа»