> If someone could provide definitions, I'd be grateful.
modus ponens:
All A's are B; X is an A; therefore X is a B
modus tollens:
If A, then B; B is not true; therefore A is not true
There's more to formal logic, but you don't want to know it.
-- Cliff Lundberg ~ San Francisco ~ cliff@noevalley.com