$$\large{\displaylines{\begin{array}{c|l} 1 & p \land q, \ p \lor q \\ 2 & {\color{#ff7800}+} \ P(x), \ \forall x P(x), \ \exists x P(x) \\ 3 & {\color{#ff7800}+} \ \forall P, \ \exists P \end{array}}}$$

Классические системы логики

Теоретические основы и определения

Пропозициональная логика изучает сложные суждения и их взаимоотношения
Логика первого порядка расширяет логику высказываний и позволяет изучать внутреннюю структуру суждений за счет добавления предикатов и кванторов
Логика высшего порядка расширяет логику первого порядка за счет введения квантификации над предикатами

. . .