Mathematical Thinking Stanford, W2 Assignment 3
1. D, Y, T a. T ⇒ [D ∧ Y] b. D ⇒ ¬ Y c. ¬ D ⇒ ¬ T d. T ⇒ ¬ (D ∧ Y) e. ¬ D ∧ Y ∧ T , T ⇒ [¬ D ∧ Y], following means “then or and”, they are all conjunctions relationship. f. (T ∧ Y) ⇒ ¬ D , T ⇒ [Y ⇒ ¬ D] g. T ⇒ [D ⇔ Y], T⇒ [(D ⇒Y) ∧ (Y⇒D)] ...