home | section main page


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

Copyright © 2024 Preston Pan