diff options
| author | Preston Pan <preston@nullring.xyz> | 2024-06-28 21:30:42 -0700 |
|---|---|---|
| committer | Preston Pan <preston@nullring.xyz> | 2024-06-28 21:30:42 -0700 |
| commit | e7dd5245c35d2794f59bcf700a6a92009ec8c478 (patch) | |
| tree | 0d0e81552f0426f8b715bd5bd3bdd0856058db2c /mindmap/logic.org | |
| parent | 01ba01763b81a838dcbac4c08243804e068495b9 (diff) | |
stuff
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 |