Введение в логику, урок 4: Предикаты и кванторы

Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста.

Таймкоды:
0:00 Приветствие
0:30 Определение множества
1:55 Предикаты
3:46 Подмножество
5:40 Связь
8:35 Кванторы
10:13 Примеры предикатов и кванторов
14:05 Закон Де Моргана
14:33 Доказательство
16:30 Упражнения
16:58 Теорема 1.4

#IT #математическаяЛогика #логика#обучение #программирование

[JoffreyB]

Спасибо за видео. Это намного интереснее, когда аналогии проводят с жизнью, чем сухие аналитическо-формальные записи, не сопровождающиеся ни иллюстрацией, ни аналогиями, ни примерами. Да и вообще формат ведения интересный, однозначно лайк и подписка!

[znonfny]

Восемь лет назад актуально и понятно сейчас намного больше чем все обьяснения которые я видела в Ютуб и вживую

[lilicenco]

Очень круто, я очень много пересмотрел поднобных видео, но это лучшее, лайк и подписка, и начну просмотр с первых лекций.

[nadyamoscow]

Спасибо. Хороший вводный курс. КОнечно, не во всех видео даны полные или достаточный объяснения, но зато отлично очерчен каркас. Дальше полученную базу можно развивать самостоятельно, с помощью других источников. Главное, понятно, в каких направлениях двигаться.

[Makcimushka]

Правильно было бы написать:"Для любого человека из y найдётся такой человек из x, что он будет для него предком". 10:32 т.е. на видео перепутаны местами x и y.

[kranzproductions]

А вот кванторы и предикаты объяснены просто офигенно, спасибо!

[xjhhdqu]

10:40
"x является предком y"
"для любого человека x найдется такой человек y, что он (у) будет предком для х"
Противоречие.
Верно: для любого человека у из множества людей Н найдется хотя бы один человек х из множества людей Н, который будет предком для у.

[iralin]

эту хрень я пытаюсь понять уже ооооочень давно... Спасибо тебе, мил человек, за эти уроки!!! Лишь третий твой урок, а я поняла гораздо больше, чем за целый чёртов семестр!

[teuxigc]

В примере 1.2 перепутаны константы. Тут вообще намешано всего. Ну k это обычно метазнак для обозначения некоторого значения при I(k), то есть предметная константа. Также предметные константы не обозначаются обычно x, y и тд, потому что это разные виды термов в ЛП1.
I(k) это предметные константы (a, b, c, d)
(x, y, z, x1, y1 ...) - это предметные переменные.
Также ошибка с записями знаков. Знак принадлежности подмножества другой.

[kranzproductions]

Пожалуйста, сделайте разбор упражнений с этого курса. Интересно узнать ответы и ход доказательства. А то даже не знаешь, верно решил или нет.

[viridisflumen]

На 10:31 что-то непонятное. Сначала "х является предком у", потом внезапно "найдется у, который будет предком для х"

[anastasiakrasenkova]

В упражнении 1.8 не понятен пункт 3: V x, (P(x) + Q) <> (V x, P(x)) + Q
Вроде вполне себе выполняется это равенство?

[Rozalinaag]

пример 1.1 верен? помоему там х и у надо поменять местами

[EgorSteve]

10:20 первый абзац: х - предок у
Второй абзац: у - предок для х
Ну и что из этого верно?

[rusty_fpv]

"не найдется грибника, который в лесу не нашел бы белый гриб, но нашел бы подосиновик" как это написать подскажите?

[gamephoenix]

можете помочь с заданием :
а)x > 1 ^( пересечение ) y < 0;
б)x> 1 -> y < 0;

[bookindrizer]

Если я правильно нагуглил, предикат - это просто функция, возвращающая на входящие параметры логический тип (правду или ложь). Но это не точно

[teuxigc]

В примере 1.1 неправильная запись. Вообще неверно задана модель. По сути может и верно, но в голове от этого каша, так не пишут.

[imofsdj]

Видео 18+
Очень много нецензурной лексики

[dddxxx]

Множество немножество множество подмнодество является подмнодеством множества не множество . Спасибо все понял