sfd
От логики философской к логике цифровой. Для школьников и начинающих
Нам всем знакомы понятия "логичный", "нелогичный", "истина", "ложь", "сомнение". Мы отлично знаем, что такое "одно ИЛИ другое", "одно И другое", "НЕ то". Мы используем эти понятия в нашей обычной повседневной жизни. Но не все догадываются, что тем самым мы занимаемся математикой и философией. Более того, математика и философия являются важнейшей основой таких современных информатики и вычислительной техники. Так что садясь за компьютер или беря в руки смартфон мы пользуемся и трудами философов древней...
Диаграммы Эйлера-Венна (помните, что это?) и доказательство законов де Моргана для множеств
Внимание: важная информация перед прочтением!
Если Вы новичок в теории множеств, ознакомьтесь, пожалуйста, со следующими материалами канала:
Введение в математическую топологию
Определение множества,