Template for proofs in Discrete and Argumentative Mathematics
7 лет назад
Creative Commons CC BY 4.0
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$.