Add Aristotelian logic to iset.mm
Add Aristotelian logic to iset.mm

This commit adds proofs of Aristotelian logic to iset.mm.
Remarkably, once we copy alsyl from set.mm to iset.mm
we can reuse all the proofs of Aristotelian logic in set.mm.

Signed-off-by: David A. Wheeler <9ae72d22d8b894b865a7a496af4fab6320e6abb2@dwheeler.com>

metamath/set.mm,metamath/set.mm,metamath/set.mm