Лекция 1. Предикаты

1. Предикаты Лекция 1

§1. Понятие предиката
§2. Логические операции над предикатами
§3. Кванторные операции

2. §1. Понятие предиката

В алгебре логики высказывания рассматриваются как
нераздельные целые и только с точки зрения их истинности или
ложности.
Ни структура высказываний, ни, тем более, их содержание не
затрагиваются.
В то же время и в науке, и в практике используются заключения,
существенным образом зависящие как от структуры, так и от
содержания используемых в них высказываний.

3. §1. Понятие предиката

Например, в рассуждении:
«Всякий ромб − параллелограмм;