This is a Ti question - week spot with me.
To save myself a headache I'll stick to this:
Otherwise, one may go into lengthy ruminations about various formal logics and what not. Here's a place to start: Classical logic - Wikipedia, the free encyclopediaOriginally Posted by ragnar