interested!!

I'll be telling my therapist about this one

interested!

TDA → MI

r/MI

r/TDA

Right. Got it, it's the contrapositive argument.

But if I am going to put the statement into Lawgic, couldn't I also do this:

TDA → M

R → /M, contrapositive = M → /R

string them together=

TDA → M → /R

Interested!