$$\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}}}$$

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

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

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

. . .