Converses and negations

-

One of our first-year students asked (on Piazza) whether converse and negation were the same thing. One of my colleagues explained the differences in terms of propositional logic. I added some comments afterward to see if some specific examples might help. I don’t know whether this helped or not! Here is what I said.

Dr Feinstein adds:

Sometimes specific examples can help here.

So consider the following statement, which we will call statement \(P\):

  (\(P\))                          \(6\) is divisible by \(3\)

Then the negation of \(P\) is the statement \(\neg P\):

 (\(\neg P\))                   \(6\) is not divisible by \(3\)

Notice here that \(P\) is true and \(\neg P\) is false. 

Consider instead the statement \(Q\):

 (\(Q\))                            \(3\) is divisible by \(6\)

and its negation

 (\(\neg Q\))                    \(3\) is not divisible by \(6\)

This time \(Q\) is false and \(\neg Q\) is true.

This is no coincidence, because for any (correctly parsed) mathematical statement \(S\), exactly one of the statements \(S\) and \(\neg S\) will be true. If this doesn't happen, then either you have negated incorrectly, or maybe you are in the middle of a proof by contradiction (in which case you expect to arrive at a contradiction).

Notice that these simple statements \(P\) and \(Q\) (and their negations) don't have any implications in them, so taking the converse doesn't even make sense for these.

Once you do have some form of implication (or if) in your statement you can look at taking the converse or the contrapositive. In this case, the contrapositive always has the same truth value as the original statement. But all bets are off when it comes to the converse. For example, consider the following six statements about integers \(n\). (Three "mutually converse" pairs.)

 (\(S_1\))                           If \(n\) is divisible by \(3\), then \(n\) is divisible by \(6\)

 (\(S_2\))                           If \(n\) is divisible by \(6\), then \(n\) is divisible by \(3\)

 (\(S_3\))                           If \(n\) is divisible by \(3\), then \(n\) is divisible by \(5\)

 (\(S_4\))                           If \(n\) is divisible by \(5\) then \(n\) is divisible by \(3\)

 (\(S_5\))                           If \(n\) is odd then \(n^2\) is odd

 (\(S_6\))                           If \(n^2\) is odd, then \(n\) is odd

I won't give all of the details here, because it would be good for you to check that you agree with me! But here, \(S_1\) and \(S_2\) are converses of each other, and one is true but the other is false.

We also have that \(S_3\) and \(S_4\) are converses of each other, but this time they are both false.

Finally, \(S_5\) and \(S_6\) are converses of each other, but both are true. 

Note that the proofs of the (mutually converse) statements \(S_5\) and \(S_6\) are different, and neither statement follows directly from the other!

(Exercise: check my claims above. Hint for \(S_6\): I think the contrapositive of \(S_6\) is easier to see.)

 


Comments

Post a Comment

Popular posts from this blog

Sums and integration against counting measure: Part I

-
For other posts in this series, see https://explaining-maths.blogspot.com/search?q=Sums+and+integration+against+counting+measure In case the MathJax mathematics below does not display properly in your browser, I have made a PDF of the main article available via my  WordPress blog  at  https://explainingmaths.files.wordpress.com/2023/08/sums-and-integration-against-counting-measure_-part-i.pdf Note added 30/8/23: I'm not quite sure when I started to say "integration against a measure". I'm not alone, but I think that "integration with respect to a measure" is a lot more common! However, I don't want to change the titles of my latest 10 blog posts, so I'll leave it as it is. I'll probably change back to "integration   with respect to a measure" in future though! It has been a while since I wrote a mathematical post! Here I thought I would say something about Measure and Integration which is relevant to my research. For these posts I as
Read more

Discussion of the proof that the uniform norm really is a norm

-
In response to a request on Piazza, I gave a detailed proof that the uniform really is a norm, including some comments and warnings on possible pitfalls along the way. Here (essentially) is what I said. Let’s have a look at \(\|\cdot\|_\infty\) on the bounded, real-valued functions on \([0,1]\) (but you can also work with bounded functions on any non-empty set you like, and the same proof will work). We define \(\ell_\infty([0,1]) = \{f: f \textrm{ is a bounded, real-valued function on }[0,1]\,\}\,,\) and this is the set/space we will look at. So we set \(Y=\ell_\infty([0,1])\). Then you can check for yourselves that \(Y\) really is a vector space over \(\mathbb{R}\) (using the usual "pointwise" operations for functions). Note that the zero element in this vector space is the constant function \(0\) (from \([0,1]\) to \(\mathbb{R}\)), which I'll denote by \(\mathbf{0}\) here for clarity. (We also used \(Z\) for this function in one of the exercises.) I'll first give
Read more

Revisiting liminf and limsup

-
This post is also available in PDF form from my WordPress Blog at  https://explainingmaths.wordpress.com/2023/09/01/revisiting-liminf-and-limsup/ My recent series of posts about Fatou's Lemma for sums was aimed primarily at mathematics students at 3rd-year undergraduate level or above. So I think I should write a post more suitable for first-year undergraduate students. So I'm going to have another look at the topic of $\liminf$ and $\limsup$ for bounded sequences of real numbers (though most of what I say can be generalised to sequences, or even nets, of extended real numbers). I said quite a lot about this in a previous post on my WordPress blog in the post https://explainingmaths.wordpress.com/2009/01/10/an-application-of-absorption-to-teaching-lim-inf-and-lim-sup/ and there was a lot of discussion in the comments below the post. In particular, in those comments, I discussed the $\liminf$ and the $\limsup$ of some examples of sequences $(x_n)$, including the following exam
Read more