Logic as Tautological is Rings within Rings

[Eodnhoj7]

(--P --> --P) -->

(--P --> P) -->

(P --> P) -->

(((P-->P)-->Q) --> (P --> Q)) -->

((P-->Q) --> (-P<-->Q)) -->

(P --> -P) -->

(-P --> -P) -->

(((-P --> -P) --> R) --> (-P --> R)) -->

((-P --> R) --> (--P <--> R)) -->

(-P --> --P) -->

(--P --> --P) --> (P & -P & Q & R)