{"id":1597,"date":"2013-03-31T18:19:43","date_gmt":"2013-03-31T18:19:43","guid":{"rendered":"http:\/\/www.oracletutoring.ca\/blog\/?p=1597"},"modified":"2013-03-31T18:38:07","modified_gmt":"2013-03-31T18:38:07","slug":"math-the-statement-and-the-contrapositive","status":"publish","type":"post","link":"https:\/\/www.oracletutoring.ca\/blog\/math-the-statement-and-the-contrapositive\/","title":{"rendered":"Math: The Statement and the Contrapositive"},"content":{"rendered":"

For a few years, this topic fell from view. \u00a0As a math tutor, I’m glad to see it back.<\/h1>\n

To a person studying logic, the statement “p implies q” also means “if p, then q”. \u00a0It can also be written<\/p>\n

p\u2192q<\/span><\/p>\n

Example of a statement:<\/p>\n

If a minute has passed, then sixty seconds have passed.<\/p>\n

p and q, by themselves, might be called assertions. \u00a0Therefore, in the above statement, “a minute has passed” is an assertion. \u00a0So is “sixty seconds have passed.”<\/p>\n

To form the contrapositive of a statement, you reverse its order, then negate both parts of the statement:<\/p>\n

If sixty seconds have not<\/strong> passed, then a minute has not<\/strong> passed.<\/p>\n

In logic notation, you negate an assertion by writing a line above it:<\/p>\n

\"\"
\nIt follows that the construction of the contrapositive is
\n\"\"
\nI’m told that, in general terms, the contrapositive is the logical equivalent to the statement itself. From what I’ve seen myself, I’ve no cause to doubt that assertion:)<\/p>\n

There are other logical derivatives of a statement: the converse and the inverse, to name a couple. I’ll discuss them in future posts:)<\/p>\n

Jack of Oracle Tutoring by Jack and Diane,<\/a> Campbell River, BC.<\/p>\n","protected":false},"excerpt":{"rendered":"

For a few years, this topic fell from view. \u00a0As a math tutor, I’m glad to see it back. To a person studying logic, the statement “p implies q” also means “if p, then q”. \u00a0It can also be written …<\/p>\n

Math: The Statement and the Contrapositive<\/span> Read More »<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[],"class_list":["post-1597","post","type-post","status-publish","format-standard","hentry","category-math"],"_links":{"self":[{"href":"https:\/\/www.oracletutoring.ca\/blog\/wp-json\/wp\/v2\/posts\/1597","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.oracletutoring.ca\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.oracletutoring.ca\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.oracletutoring.ca\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.oracletutoring.ca\/blog\/wp-json\/wp\/v2\/comments?post=1597"}],"version-history":[{"count":32,"href":"https:\/\/www.oracletutoring.ca\/blog\/wp-json\/wp\/v2\/posts\/1597\/revisions"}],"predecessor-version":[{"id":1629,"href":"https:\/\/www.oracletutoring.ca\/blog\/wp-json\/wp\/v2\/posts\/1597\/revisions\/1629"}],"wp:attachment":[{"href":"https:\/\/www.oracletutoring.ca\/blog\/wp-json\/wp\/v2\/media?parent=1597"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.oracletutoring.ca\/blog\/wp-json\/wp\/v2\/categories?post=1597"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.oracletutoring.ca\/blog\/wp-json\/wp\/v2\/tags?post=1597"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}