David Joshua Sartor comments on Arguments for P

[David Joshua Sartor]

“(P → Q) → P” is intended as an argument for P.

((P → Q) → P) → P