If a contrapositive restricted to implication statements? Can a contrapositive exist for any other type of statement? If so, how does one go about proving that a contrapositive has the same truth value as the original statement for all statements?
That was my primary thought process reading this section. I thought the section was interesting, but my brain is too tired to form coherent thoughts beyond that. I don't feel well, so I will be going to bed now in the hopes of feeling well enough in the morning to dig deeper into the material during the lecture.
No comments:
Post a Comment