Скачать
Propositional Logic 2
Автор: Seth Harwood
Загружено: 2024-05-28
Просмотров: 36
Описание:
An overview of propositional logic using a replacement method.
Chapters:
0:00 Statements
2:10 Operators Iff
2:58 Operators And
3:27 Operators Or
4:14 Operators Implies
6:47 Operators Not
7:12 Evaluating Expressions
8:34 Parenthesis
9:53 Quantifiers
14:18 Replacement Schema
14:50 WWFs
15:34 Simplifications
16:54 Next time
Notes:
I did realize that I forgot to explain why it is that "⊥∧⊤∨⊤" is ambiguous. This is because (⊥∧⊤)∨⊤ is true but ⊥∧(⊤∨⊤) is false.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
