4月28日の宿題に誤植がありました。 誤 8. (A ∨ B → C ) → (A → C ) ∧ (A → C ), 9. (A → C ) ∧ (A → C ) → (A ∨ B → C ), ですが、正しくは 正 8. (A ∨ B → C ) → (A → C ) ∧ (B → C ), 9. (A → C ) ∧ (B → C ) → (A ∨ B → C ), です。