Проверка теоретико-множественных отношений с помощью формул логики высказываний

В видеолекции показана тесная взаимосвязь между логикой высказываний и классической теорией множеств. Перечень законов логики высказываний можно изучить в видеолекции: см. ещё текстовые материалы на Дзен: https://dzen.ru/independent_work см. ещё ссылка на Ютуб: https://youtube.com/channel/UCLvLhIS3tQNDMRdfwr1cWBA?si=ifBJ8bmTTO8UqGKv