Chapter 5: Logic 2022 group Discussion 5.2 CONJUNCTION AND DISJUNCTION NAME: \( \qquad \) COURSE: \( \qquad \) SCORE: \( \qquad \) YEAR: \( \qquad \) SCHEDULE: \( \qquad \) jolve the following problems. Show your Solution. Table 3.
Added by Ricardo B.
Close
Step 1
### Step-by-Step Solution: ** Show more…
Show all steps
Your feedback will help us improve your experience
Kerry Thornton-Genova and 85 other Algebra educators are ready to help you.
Ask a new question
Labs
Want to see this concept in action?
Explore this concept interactively to see how it behaves as you change inputs.
Key Concepts
Recommended Videos
Refer to page $83 .$ Describe how you can apply logic to taking tests. Include the difference between a conjunction and a disjunction.
Reasoning and Proof
Logic
Determine the truth value of each expression below if the domain is the set of all real numbers. ∃x∀y (xy = 0) (If true, give an example.) ∀x∀y∃z (z = (x - y)/3) (If false, give a counterexample.) ∀x∀y (xy = yx) (If false, give a counterexample.) ∃x∃y∃z (x^2 + y^2 = z^2) (If true, give an example.) Redo the above (problem 1), with the domain of positive integers. Translate each of the following English statements into logical expressions. The domain of discourse is the set of all integers. There are two numbers whose sum is equal to their product. The product of every two positive integers is positive. Every positive integer can be expressed as the sum of the squares of four integers. There is a positive integer that is smaller than all other positive integers. The domain of discourse is the members of a chess club. The predicate B(x, y) means that person x has beaten person y at some point in time. Give a logical expression equivalent to the following English statements. No one has ever beaten Nancy. Everyone has been beaten before. Everyone has won at least one game. No one has beaten both Ingrid and Dominic. There are two members who have never been beaten. Translate each of the following English statements into logical expressions. The domain of discourse is the set of all real numbers. The reciprocal of every positive number is positive. There is no smallest number. There are two numbers whose ratio is less than 1. Write the negation of each of the following logical expressions so that all negations immediately precede predicates. ∀x ∃y ∃z P(y, x, z) ∃x ∃y P(x, y) ∧ ∀x ∀y Q(x, y) ∃x ∀y ( P(x, y) ↔ P(y, x) ) ∃x ∀y ( P(x, y) → Q(x, y) ) Use a truth table to prove the conclusion from the hypotheses. The hypotheses are: If I drive on the freeway, I will see the fire. I will either drive on the freeway or take surface streets. I am not going to take surface streets. Conclude that I will see the fire. Use the following variable names: p: I drive on the freeway r: I take surface streets q: I see the fire p q r Use the laws of logic to prove the conclusion from the hypotheses. Give propositions and predicate variable names in your proof. Use the set of all students as the domain of discourse. The hypotheses are: Larry and Hubert are taking Boolean Logic. Any student who takes Boolean Logic can take Algorithms. Conclude that Larry and Hubert can take Algorithms. Use the laws of logic to prove the conclusion from the hypotheses. Give propositions and predicate variable names in your proof. Use the set of all people as the domain of discourse. The hypotheses are: Everyone who practices hard is a good musician. There is a member of the orchestra who practices hard. Conclude that someone in the orchestra is a good musician. Which of the following arguments are valid? Explain your reasoning. I have a student in my class who is getting an A. Therefore, John, a student in my class is getting an A. Every girl scout who sells at least 50 boxes of cookies will get a prize. Suzy, a girl scout, got a prize. Therefore Suzy sold 50 boxes of cookies. Use the laws of logic to show that ∀x(P(x) ∧ Q(x)) implies that ∀x Q(x) ∧ ∀x P(x).
Sri K.
1. For each of the following formulas, determine whether the formula is satisfiable or not, and justify your answer with a truth assignment or truth table as appropriate. (a) A →
Recommended Textbooks
Elementary and Intermediate Algebra
Algebra and Trigonometry
18,000,000+
Students on Numerade
Trusted by students at 8,000+ universities
Watch the video solution with this free unlock.
EMAIL
PASSWORD