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
  • 2
    $\begingroup$ You might find it interesting to read about the Raven Paradox $\endgroup$
    – lulu
    Jun 8, 2016 at 20:15
  • $\begingroup$ Don't lose your quantifier: "Everything that is not an B is also not a A". $\endgroup$
    – DanielV
    Jun 8, 2016 at 21:37

3 Answers 3

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.

$\endgroup$
4
  • $\begingroup$ I would prefer saying "$A\implies B$ is equivalent to saying $\neg B\implies \neg A$", which is stronger. $\endgroup$
    – yo'
    Jun 8, 2016 at 19:32
  • $\begingroup$ You're right. I'll edit the post. $\endgroup$
    – M10687
    Jun 8, 2016 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, 2016 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, 2016 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).$$

$\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'."

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .