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!).