Правила вывода через алгебру Буля | MathFoundations 275 | N J Wildberger скачать в хорошем качестве

Правила вывода через алгебру Буля | MathFoundations 275 | N J Wildberger

Мы показываем, как вводить правила вывода в пропозициональную логику в рамках алгебры Буля, которая предоставляет стандартную технологию для лёгкого установления всех таких правил. Среди них выделяются Modus Ponens, Modus Tollens, гипотетический силлогизм и дизъюнктивный силлогизм. С помощью этой новой технологии мы можем установить каждый из них очень просто и даже более эффективно — фактически, мы можем вообще отказаться от их использования! Больше не требуется заучивать сложные логические правила, поскольку наша упрощённая алгебра 9-го класса алгебры Буля превосходит всё это. В качестве примера мы вернёмся к логической задаче Льюиса Кэрролла, которая сообщает нам нечто неприятное о... ваших стихах. Вот «Проникновение в математику» Плейлисты:    • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист   https://www.youtube.com/playlist?l ist=PLIljB45xT85D94vHAB8joyFTH4dmVJ_Fw    • Плейлист      • Плейлист      • Плейлист      • Плейлист   https://www.youtube.com/playlist?list... 5A-qCypcmZqRvaS1pGXpTua    • Плейлист      • Плейлист      • Плейлист      • Плейлист   https://www.youtube.com/playlist?list... T85CN9oJ4gYkuSQQhAtpIucuI    • Плейлист      • Плейлист      • Плейлист      • Плейлист      • Плейлист   Вот плейлисты Wild Egg Maths (некоторые доступны только Участники!)    • Плейлист      • Плейлист      • Плейлист   https://www.yout ube.com/playlist?list=PLzdiPTrEWyz6zpIZ4Y_RK9zyJ9OufqNJv    • Плейлист      • Плейлист   https://www.youtube.com/playlist?list... PTrEWyz5HWgaVkhIwpGVKi6fciRxW    • Плейлист      • Плейлист   https://www.youtube.com/playlist?list... jM    • Плейлист      • Плейлист      • Плейлист   ***********************