logic
Table of Contents
1. 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.
1.1. Propositional Logic
Propositional logic