diff options
Diffstat (limited to 'mindmap/logic.org')
| -rw-r--r-- | mindmap/logic.org | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mindmap/logic.org b/mindmap/logic.org index b43a76b..1de226b 100644 --- a/mindmap/logic.org +++ b/mindmap/logic.org @@ -12,3 +12,4 @@ Logic is the foundation of everything mathematical, and can even study itself; this is known as metalogic. In order to demonstrate logic, we must first demonstrate some axioms of logic, starting with propositional logic. ** Propositional Logic +Propositional logic |