Перевод с английского на язык ЛОГИКИ ПРЕДИКАТОВ

В этом видео по логике мы учимся переводить английские предложения в логику предикатов. Мы работаем с предложениями, содержащими только константы и предикаты, а также знакомимся с кванторами всеобщности и существования: «some x is P» и «every x is P», а затем решаем несколько практических задач. Перевод в логику предикатов — это весело, правда?

0:00 - [Установление ключей]
3:37 - [Предложения с константами]
8:24 - [Универсальный квантификатор (для всех)]
12:40 - [Квантор существования (для некоторых)]
15:48 - [Практическое задание предложений 1-4 (попроще)]
19:40 - [Практическое задание предложений 5-7 (посложнее)]

#PredicateLogic #QuantificationalLogic #TranslatingEnglish

Если вы хотите поддержать канал, нажмите кнопку «ПРИСОЕДИНИТЬСЯ» выше и выберите подходящую подписку:    / @trevtutor  

Patreon: http://bit.ly/2EUdAl3
Сайт: http://TrevTutor.com
Подписаться: http://bit.ly/1vWiRxW
Facebook: http://on.fb.me/1vWwDRc

-Плейлисты-
Логика:    • Philosophical Logic (2024) Lectures  

-Рекомендуемые учебники-
Книга по логике: https://amzn.to/31h2qR8
Модальная логика для философов (Гарсон): https://amzn.to/3dECGn4
Доступное введение в математическую логику: https://amzn.to/37hMYZa
Введение в формальную логику с философскими приложениями: https://amzn.to/3j3J9sx

Здравствуйте, добро пожаловать в TheTrevTutor. Я здесь, чтобы помочь вам легко и эффективно освоить университетские курсы. Если вам нравится то, что вы видите, подписывайтесь и следите за обновлениями.

Особая благодарность следующим невероятным спонсорам за поддержку канала и создание этих видео!
Никита Цыганов