Can I read Understanding Proof Theory Basics on EtoBox?

Understanding Proof Theory Basics by chengpeck is a document available to read on EtoBox.

What is Understanding Proof Theory Basics about?

This document introduces formal proof theory in mathematics. It establishes that a proof is a line of reasoning that establishes a proposition according to established proof rules and axioms. It also defines the formal symbols for "and" and "or" and provides a truth table showing the outputs for combinations of true and false inputs for these logical operators.

Author

chengpeck

Language

EN