утверждается или отрицается о реальных предметах, их свойствах и
отношениях между ними.
Высказывание может быть либо истинно, либо ложно.
В простом высказывании никакая его часть сама не является высказыванием.
«Наступила весна»
Составное (сложное) высказывание состоит из простых высказываний.
«Наступила весна, и прилетели грачи»
В истинном высказывании связь понятий правильно отражает свойства и отношения реальных вещей.
«Два умножить на два равно четырём»
В математической логике рассматриваются предикаты, т.е. функциональные зависимости от неопределенных понятий (терминов), которые можно сравнить с переменными в уравнении.
В ложном высказывании связь понятий искажает объективные отношения, не соответствует реальной действительности.
«Два умножить на два равно пяти»
Порядок предикатов равен числу неопределенных терминов.
В предикатах первого порядка не определен один термин, в предикатах второго порядка – два…