Template for proofs in Discrete and Argumentative Mathematics

Author
stanley
View Count
1515
License
Creative Commons CC BY 4.0
Abstract

This is the template for DAM (discrete and argumentative mathematics).

We prove theorem $2.1$ using the method of proof by way of contradiction. This theorem states that for any set $A$, that in fact the empty set is a subset of $A$, that is $\emptyset \subset A$.
Template for proofs in Discrete and Argumentative Mathematics