Ah.. the joys of higher mathematics, and yes, logic is a math.
And before I start waxing eloquent, let's remind everyone that it's been over 5 years since I got out of college, and getting pretty close to 10 since the last time I did logic and proofs....
The thing is that the logic, and...