В чем заключаются основные отличия пропозициональной логики от логики предикатов?

Некоторые основные отличия пропозициональной логики от логики предикатов:

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