search

dcernst / IBL-IntroToProof

A textbook for the transition to proof course for mathematics majors utilizing IBL.
http://dcernst.github.io/IBL-IntroToProof
42 stars 22 forks source link

Address truth value of conditional statements involving predicates vs propositions #144

Open dcernst opened 2 years ago

dcernst commented 2 years ago

One detail that I sweep under the rug is that we discuss the truth value of conditional propositions in Definition 2.18 and then take for granted that we can apply the same structure to conditional statements involving predicates. My personal take is that I don't want to get bogged down in these sorts of pedantic details, but in thinking about it carefully now, I do think this discussion is at least worthy of a remark in the book.

See Issue #143.

Also, add discussion to Instructor Guide.

dcernst commented 2 years ago

I've added a comment to the Instructor Guide.