Metamath Proof Explorer

Table of Contents - 1.3.3. Derive the Lukasiewicz axioms from Meredith's sole axiom

1. meredith
2. merlem1
3. merlem2
4. merlem3
5. merlem4
6. merlem5
7. merlem6
8. merlem7
9. merlem8
10. merlem9
11. merlem10
12. merlem11
13. merlem12
14. merlem13
15. luk-1
16. luk-2
17. luk-3