Григорьев О.М. - Классическая дедуктивная логика II - 7. Приписывание значений сложным формулам

Правила приписывания значений сложным формулам Григорьев Олег Михайлович 00:16 Модель языка 06:40 Значение термов и формул в модели 11:26 Правила приписывания значений сложным формулам 30:18 Примеры 51:59 Формула истинная в модели 54:53 Общезначимая формула 01:01:40 Выполнимая формула. Невыполнимая формула. Опровержимая формула Ссылка на плейлист Teach-In: https://teach-in.ru/course/classical-deductive-logic-p2 Ссылка на плейлист YouTube: https://www.youtube.com/playlist?list=PLcsjsqLLSfNDJln31dAVVD3IkC1k1SCvi Ссылка на плейлист VK: https://vkvideo.ru/playlist/-176441665_862 Ссылка на плейлист RuTube: https://rutube.ru/plst/1513562 #teach_in #МГУ #MSU #филфак #faculty_of_philosophy #классическая_дедуктивная_логика #classical_deductive_logic #лекция #lecture #Григорьев #Grigoriev #классическая_логика_предикатов #classical_predicate_logic #модель_языка #значение_термов_и_формул #правила_приписывания_значений #сложные_формулы #примеры_моделей #истинная_формула #общезначимая_формула #выполнимая_формула #невыполнимая_формула #опровержимая_формула #логическая_модель #формальная_модель #семантика_формул #language_model #term_and_formula_meaning #value_assignment_rules #complex_formulas #model_examples #true_formula #universally_valid_formula #satisfiable_formula #unsatisfiable_formula #falsifiable_formula #logical_model #formal_model #formula_semantics