Пропозициональная логика — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. 210 При этом внутренняя структура простых высказываний не рассматривается, а учитывается лишь, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные. 2

Кванторная логика предикатов — это раздел символической логики, отличительной чертой которого является использование особого типа логических символов — кванторов и связываемых ими (квантифицируемых) переменных для воспроизведения логических форм множественных высказываний. 69 Квантифицируемые переменные «пробегают» по множеству всех объектов рассмотрения, а роль квантора состоит в указании на ту часть объектов этого множества, для которых справедливо содержащееся в высказывании утверждение. 6