2
$\begingroup$

More formally, is "All As are Bs" equivalent to "if it is not a B, then it is not an A"?

$\endgroup$
  • 2
    $\begingroup$ You might find it interesting to read about the Raven Paradox $\endgroup$ – lulu Jun 8 '16 at 20:15
  • $\begingroup$ Don't lose your quantifier: "Everything that is not an B is also not a A". $\endgroup$ – DanielV Jun 8 '16 at 21:37
6
$\begingroup$

Yes. This is called the contrapositive of the statement. $A \Rightarrow B$ is equivalent to the statement $\neg B \Rightarrow $$\neg A$

See here as well.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ I would prefer saying "$A\implies B$ is equivalent to saying $\neg B\implies \neg A$", which is stronger. $\endgroup$ – yo' Jun 8 '16 at 19:32
  • $\begingroup$ You're right. I'll edit the post. $\endgroup$ – M10687 Jun 8 '16 at 19:32
  • $\begingroup$ I see in that link I can say they are "logically equivalent". Can I also say they are "materially equivalent", that is "all swans are white if and only if, if they are not white, they are not swans"? $\endgroup$ – kaspersky Jun 8 '16 at 19:39
  • $\begingroup$ The statement you have in quotes is logical equivalence. Try writing it out in quantifiers to see this. $\endgroup$ – M10687 Jun 8 '16 at 19:41
3
$\begingroup$

Yes, it's true. Let $p_A(x)$ be "$x$ is $A$" and $p_B(x)$ be "$x$ is B". Then "All $A$s are $B$s" is $$\forall\, x: \; p_A(x) \rightarrow p_B(x).$$ Statement $p_A(x) \rightarrow p_B(x)$ is false in only one case: when $p_A(x)$ is true and $p_B(x)$ is false. Similary statement $\neg p_B(x) \rightarrow \neg p_A(x)$ is false only if $\neg p_B(x)$ is true and $\neg p_A(x)$ is false, i.e. when $p_A(x)$ is true and $p_B(x)$ is false i.e. only when firs statement is false. Thus these two statements are equal because they are false and true in the same time: $$\forall\, x: \; p_A(x) \rightarrow p_B(x) \Leftrightarrow \forall\,x : \neg p_B(x) \rightarrow \neg p_A(x).$$

| cite | improve this answer | |
$\endgroup$
0
$\begingroup$

Yes. Or: "If it is not white and it is still a swan, then it is not true that 'All swans are white'."

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.