Функционально полные системы связок Григорьев Олег Михайлович 00:16 Вводное слово 02:04 Связь отношений между формулами классической логики высказываний с понятиями тождественно-истинной, выполнимой и опровержимой формул 09:08 Функциональная полнота системы связок 37:15 Метатеорема о функциональной полноте системы связок 58:45 Пример Ссылка на плейлист Teach-In: https://teach-in.ru/course/classical-deductive-logic Ссылка на плейлист YouTube: https://www.youtube.com/playlist?list=PLcsjsqLLSfNDp61ltFkNC8AFB81usqcKp Ссылка на плейлист VK: https://vkvideo.ru/playlist/-176441665_806 Ссылка на плейлист RuTube: https://rutube.ru/plst/1189618 #teach_in #мгу #msu #филфак #faculty_of_philosophy #Григорьев #Grigoriev #лекция #lecture #классическая_дедуктивная_логика #classical_deductive_logic #классическая_логика_высказываний #classical_propositional_logic #аналитическое_представление_функции #analytical_representation_of_a_function #функциональная_полнота_система_связок #functionally_complete_system_of_connectives