summaryrefslogtreecommitdiff
path: root/mindmap/logic.org
blob: c37e868f924a5ce6a6e2e9bd046ad5123c04f092 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
:PROPERTIES:
:ID:       29ebc4f9-0fd8-4203-8bfe-84f8558e09cf
:END:
#+title: logic
#+author: Preston Pan
#+description: A logical explanation of logic.

#+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
Propositional logic