Can someone help me solve this problems(Q1-Q6)? Mathematical Foundations of Computing Problems 1. Write each of the following conditional statements and the corresponding converse, inverse, and contrapositive as English sentences in the form “if ?, then ?.” Example: Whenever it rains, it pours. Answer: Original statement: If it rains, then it pours. Converse: If it pours, then it rains. Inverse: If it doesn’t rain, then it doesn’t pour. Contrapositive: If it doesn’t pour, then it doesn’t rain. 1.1 You can do it if you put your mind to it. 1.2 Being cold implies that you need a jacket. 1.3 Petting the cat is sufficient for it to purr. 2. Determine the truth value of each of the following statements if the domain consists of all integers. If it is true, find a different domain for which it is false. If it is false, find a different domain for which it is true. Justify your answers. Example: ∀?(? ≤ ??) Answer: False. If ? = −1, then 2? = −2 and −1 > −2. True when the domain consists of all nonnegative integers. For all nonnegative integers ?, ? ≤ 2?. 2.1 ∃?(? + ? = ?) 2.2 ∀?(?^? ≥ ?) 2.3 ∀?∃?(? > ?) 2.4 ∃?∀?(?? > ?) 3. Let ?(?) be the statement “? is a freshman,” ?(?) be the statement “? is a sophomore,” and ?(?, ?) be the statement “? waved at ?.” If the domain of ? and ? consists of all students, express each of the following sentences in terms of ?(?), ?(?), ?(?, ?), quantifiers, and logical operators. Example: Some freshman waved at every sophomore. Answer: ∃?(?(?) ∧ ∀?(?(?) → ?(?, ?))) 3.1 There is a freshman and a sophomore who waved at each other. 3.2 There is a sophomore who was not waved at by any freshman. 3.3 Every freshman waved at another freshman. 3.4 There is exactly one sophomore who didn’t wave at any student.

Database System Concepts
7th Edition
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Chapter1: Introduction
Section: Chapter Questions
Problem 1PE
icon
Related questions
Question

Can someone help me solve this problems(Q1-Q6)?

Mathematical Foundations of Computing Problems

1. Write each of the following conditional statements and the corresponding converse, inverse, and contrapositive as English sentences in the form “if ?, then ?.”
Example: Whenever it rains, it pours.
Answer:
Original statement: If it rains, then it pours.
Converse: If it pours, then it rains.
Inverse: If it doesn’t rain, then it doesn’t pour.
Contrapositive: If it doesn’t pour, then it doesn’t rain.
1.1 You can do it if you put your mind to it.
1.2 Being cold implies that you need a jacket.
1.3 Petting the cat is sufficient for it to purr.

2. Determine the truth value of each of the following statements if the domain consists of all integers. If it is true, find a different domain for which it is false. If it is false, find a different domain for which it is true. Justify your answers.
Example: ∀?(? ≤ ??)
Answer:
False. If ? = −1, then 2? = −2 and −1 > −2.
True when the domain consists of all nonnegative integers. For all nonnegative integers ?, ? ≤ 2?.
2.1 ∃?(? + ? = ?)
2.2 ∀?(?^? ≥ ?)
2.3 ∀?∃?(? > ?)
2.4 ∃?∀?(?? > ?)

3. Let ?(?) be the statement “? is a freshman,” ?(?) be the statement “? is a sophomore,” and ?(?, ?) be the statement “? waved at ?.” If the domain of ? and ? consists of all students, express each of the following sentences in terms of ?(?), ?(?), ?(?, ?), quantifiers, and logical operators.
Example: Some freshman waved at every sophomore.
Answer:
∃?(?(?) ∧ ∀?(?(?) → ?(?, ?)))
3.1 There is a freshman and a sophomore who waved at each other.
3.2 There is a sophomore who was not waved at by any freshman.
3.3 Every freshman waved at another freshman.
3.4 There is exactly one sophomore who didn’t wave at any student.

4. Use the laws of propositional logic to prove that the following compound propositions are logically equivalent. You must indicate the name of the law used in each step of the proof.
Example: ? → ? and ¬? → ¬?
Answer:
? → ?
≡ ¬? ∨ ? Conditional identity
≡ ? ∨ ¬? Commutative law
≡ ¬? → ¬? Conditional identity
4.1 (? ∧ ?) → ? and ? → ¬(? ∧ ¬?)
4.2 (? → ?) ∨ (? → ?) and (? ∧ ?) → ?
4.3 ? ↔ ? and (¬? ∧ ¬?) ∨ (? ∧ ?)
4.4 (? ∧ ?) ↔ ? and ? → ? 

5. Use the laws of propositional logic to prove that the following compound propositions are tautologies. You must indicate the name of the law used in each step of the proof.
Example: ? → ?
Answer:
? → ?
≡ ¬? ∨ ?           Conditional identity
≡ ?                   Complement law
5.1 (? ∧ ?) → (? → ?)
5.2 ((? → ?) ∧ (¬? → ?)) → (¬? → ? ) 

 

A compound proposition is said to be satisfiable if there is an assignment of truth values to its variables that makes it true. For example, ? ∧ ? is satisfiable because it is true when ? = ? and ? = ?. When no such assignment exists, the compound proposition is said to be unsatisfiable. For example, ? ∧ ¬? is unsatisfiable because it is always false. To show that a compound proposition is satisfiable, we need to find at least one assignment of truth values to its variables that makes it true. However, to show that a compound proposition is unsatisfiable, we need to show that every assignment of truth values to its variables makes it false.

Determine whether each of the following compound propositions is satisfiable or unsatisfiable. Justify your answers.
6.1 (? → ¬?) ↔ ¬(? ∨ ?)
6.2 (? ↔ ?) ∧ (? ↔ ¬?)
6.3 (? → ?) ∧ (¬? → ¬?) ∧ (¬? → ?) ∧ (? → ¬?)
6.4 (? ∨ ¬?) ∧ (¬? ∨ ¬?) ∧ (¬? ∨ ?) ∧ (? ∨ ?) ∧ (¬? ∨ ¬?)

Expert Solution
steps

Step by step

Solved in 4 steps with 10 images

Blurred answer
Knowledge Booster
Decision Making Process
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Database System Concepts
Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education
Starting Out with Python (4th Edition)
Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON
Digital Fundamentals (11th Edition)
Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON
C How to Program (8th Edition)
C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Programmable Logic Controllers
Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education