Quoted By:
bros, thinking of submitting the proof to a journal.
q: 1+1=2
q is true
therefore, ~p ? q is true for all p
therefore, p => q is true for all p
in particular, p can be false per vacuous truth, but I think it's more Chad-tier to pick a true p, and I'm getting sick of virgins not having the balls to pick a true p.
