Question

CHECK MY WORK PLEASE! :

Break down the argument :
“If we evolved a race of pure logicians, that would not be progress; but
we have not evolved a race of pure logicians; so that’s progress.”

Let p be the component statement “We evolved a race of pure logicians”
Let q be the component statement “would be progress”

p→~ q
_________
~p→q