post #72648 ::
2016.09.18 8:10pm :: edit 2016.10.07 8:53pm Modus Ponens liēkd this
Horseshoe (SL) master race
p ⊃ q
p
_____
q
Edit: holy moly just covered conditional elimination today and had my mind blown. Your name... it makes sense now. Now all you need is the ponendo bit in the middle haha.
I took a couple of classes back in university where we used the horseshoe set of symbols, but I think since then they've switched over to using arrows and stuff.