Homework 4: Logic

Due Thursday, February 17, at 2:00 PM

Complete the following exercises from Logic.v:

and_exercise, and_assoc, mult_is_O, or_commut, contrapositive, or_distributes_over_and, dist_not_exists, In_map_iff, In_app_iff, All (including All_In), even_double_conv, logical_connectives, All_forallb

If you are taking the course for 4 credits, also complete iff_properties, dist_exists_or, tr_rev_correct, and excluded_middle_irrefutable (this is a tricky one!).