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

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

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

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

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

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

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

Импликацией двух высказываний a и b называется высказывание, ложное в случае, когда a истинно, а b ложно, и истинное в остальных случаях

Теперь установи соответствие между картинками и определениями, которые мы только что повторили.

Прежде чем мы начнем основную часть урока, перечислю для тебя определения, с которыми мы познакомимся сегодня:

1. Кванторы;

2. Кванторы в предикатах с несколькими переменными;

3. Следование и равносильность;

4. Формулировка теорем.

Для продолжения урока кликните на кнопку ниже:

Похожие уроки

The unit circle.

Разбор задач из ЕГЭ (профильный уровень).

Задача 10. Задачи на движение (ЕГЭ-2024)

Марафон нестандартных задач для 8 класса