Рет қаралды 2,020
This video introduces the symbols and syntax of modal propositional logic.
0:20 - What is Modal Logic?
4:30 - Symbols
7:05 - Example (Symbols)
7:45 - Syntax
10:55 - Example 1 (Syntax)
12:06 - Simplification of Wffs
14:14 - Example 2 (Syntax)