Григорьев О.М. - Классическая дедуктивная логика - 14. Функционально полные системы связок

Аватар автора
Teach-In
Функционально полные системы связок Григорьев Олег Михайлович 00:16 Вводное слово 02:04 Связь отношений между формулами классической логики высказываний с понятиями тождественно-истинной, выполнимой и опровержимой формул 09:08 Функциональная полнота системы связок 37:15 Метатеорема о функциональной полноте системы связок 58:45 Пример #functionally_complete_system_of_connectives

0/0


0/0

0/0

0/0

Скачать популярное видео

Популярное видео

0/0