From a7da57c0736bec58d1fc4ec99d211099c31bb45f Mon Sep 17 00:00:00 2001 From: Preston Pan Date: Wed, 24 Jan 2024 19:26:59 -0800 Subject: new content --- mindmap/logic.org | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 mindmap/logic.org (limited to 'mindmap/logic.org') diff --git a/mindmap/logic.org b/mindmap/logic.org new file mode 100644 index 0000000..b43a76b --- /dev/null +++ b/mindmap/logic.org @@ -0,0 +1,14 @@ +:PROPERTIES: +:ID: 29ebc4f9-0fd8-4203-8bfe-84f8558e09cf +:END: +#+title: logic +#+author: Preston Pan +#+html_head: +#+html_head: +#+html_head: +#+options: broken-links:t + +* Introduction +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 -- cgit