# Week 1 Homework Solution(2).pdf - MAT 243 Online Written...

• Homework Help
• 3

This preview shows page 1 - 2 out of 3 pages.

##### We have textbook solutions for you!
The document you are viewing contains questions related to this textbook.
The document you are viewing contains questions related to this textbook.
Chapter 1 / Exercise 58
Essential Calculus
Stewart
Expert Verified
© 2017 R. Boerner, ASU School of Mathematical and Statistical Sciences. This solution is licensed to ASU students registered for MAT 243 classes for free personal use. It is not to be uploaded to third-party websites, especially not ones that sell such unlicensed content. If you found this document on a third- party website such as Course Hero or Chegg, the document is being served to you in violation of copyright law. MAT 243 Online Written Homework Assignments for Week 1/15 - Solution 1. Show that (? → ?) → (? → ?) is logically equivalent to ? → ? using logical equivalence rules. Name each rule. You will get no credit for any other type of solution, such as a solution by truth table. (? → ?) → (? → ?) ≡ ¬(¬? ∨ ?) ∨ (¬? ∨ ?) (definition of conditional) ≡ (? ∧ ¬?) ∨ (¬? ∨ ?) (de Morgan) ≡ (? ∨ (¬? ∨ ?)) ∧ (¬? ∨ (¬? ∨ ?)) (distributive law, associative law) ≡ (? ∨ (¬? ∨ ?)) ∧ ((¬? ∨ ¬?) ∨ ?) (associative law) ≡ ((¬? ∨ ?) ∨ ?) ∧ ((¬? ∨ ¬?) ∨ ?) (commutative law) ≡ (¬? ∨ (? ∨ ?)) ∧ ((¬? ∨ ¬?) ∨ ?) (associative law) ≡ (¬? ∨ ?) ∧ (¬? ∨ ?) (idempotent law) ≡ (¬? ∨ ?) (idempotent law) ≡ ? → ? (definition of conditional) This solution is tedious and hard to read due to repeated application of the commutative and associative laws. If we accept it as obvious that any multiple conjunction, or multiple disjunction, can be arbitrarily rearranged (and therefore also don’t need parentheses to indicate an order of operation) then a shorter and much more readable solution is possible: (? → ?) → (? → ?) ≡ ¬(¬? ∨ ?) ∨ (¬? ∨ ?)
##### We have textbook solutions for you!
The document you are viewing contains questions related to this textbook.
The document you are viewing contains questions related to this textbook.
Chapter 1 / Exercise 58
Essential Calculus
Stewart
Expert Verified