$$\large{\begin{gather*}\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}\end{gather*}}$$
Классические системы логики
Теоретические основы и определения
- Пропозициональная логика изучает сложные суждения и их взаимоотношения
- Логика первого порядка расширяет логику высказываний и изучает внутреннюю структуру суждений с помощью предикатов и кванторов
- Логика высшего порядка расширяет логику первого порядка за счет введения и применения квантификации над предикатами
