Григорьев О.М. - Классическая дедуктивная логика - 14. Функционально полные системы связок
Teach-In
Функционально полные системы связок Григорьев Олег Михайлович 00:17 Вводное слово 02:04 Связь отношений между формулами классической логики высказываний с понятиями тождественно-истинной, выполнимой и опровержимой формул 09:09 Функциональная полнота системы связок 37:26 Метатеорема о функциональной полноте системы связок 58:47 Пример
1:40:12
