User:Philogo/test table

(((P Q) 🇦🇩 P) Q) 	premis ((P Q) 🇦🇩 ~P)🇦🇩 ~Q)	 definition of ((P🇦🇩P)  (Q&~P)) 🇦🇩 Q	de morgan ((P🇦🇩P)🇦🇩~Q)  ((Q🇦🇩P)🇦🇩Q)) 	 de morgan (P🇦🇩~P)  (Q🇦🇩~Q) weakening ((((P Q) 🇦🇩 P)' Q))' ((P🇦🇩~P)  (Q🇦🇩~Q)) (((PQ) 🇦🇩 P)) Q)	 mod ton ((PQ) 🇦🇩 P))  Q)	 QED