do you have examples where it doesn't apply? — flannel jesus
Yes, it is correct. — Corvus
For every (a implies b) it's always true that (not b implies not a), correct? Even if it's not always useful to bring it up, it's always true? — flannel jesus
A person sees it has not rained (~A), but then goes out to find the lawn is wet (B). This is possible because there are many ways for the lawn to get wet (B). If it rains, the lawn will be wet, but the lawn might also be wet for other reasons. — Count Timothy von Icarus
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.