Кванторы. Структура теорем - онлайн урок

Кванторы. Структура теорем

Давай повторим определения, которые ты уже знаешь и которые мы будем использовать на нашем уроке.

Предложение с переменными, которое при замене переменных каким-либо их значениями становится высказыванием, называется предикатом.

Отрицанием высказывания a называется новое высказывание "не a", имеющее истинностное значение, противоположное значению исходного высказывания.

Конъюнкцией двух высказываний называется высказывание, истинное, если истинны оба исходных высказывания, и ложное в противном случае.

Дизъюнкцией двух выражений называется высказывание, истинное, если хотя бы одно исходное высказывание, и ложное, если оба исходных высказывания ложны.