You just have to answer the Question C Prove that the given argument is valid. F

Question

You just have to answer the Question C

Prove that the given argument is valid. First find the form of the argument by defining predicates and expressing the hypotheses and the conclusion using the predicates. Then use the rules of inference to prove that the form is valid The domain of discourse is the set of musicians in an orchestra Everyone practices hard or plays badly (or both) Someone does not practice hard Someone plays badly The domain of discourse is the set of people who live in a city. Linda lives in the city Linda lives in the city (b)Linda owns a Ferrari Everyone who owns a Ferrari has gotten a speeding ticket Linda has gotten a speeding ticket. The domain of discourse is the set of all paintings All of the paintings by Matisse are beautiful The museum has a painting by Matisse The museum has a beautiful painting The domain is the set of students at an elementary school Every student who has a permission slip can go on the field trip Every student has a permission slip Every student can go on the field trip The domain of discourse is the set of students at a university Larry is a student at the university Hubert is a student at the university Larry and Hubert are taking Boolean Logic Any student who takes Boolean Logic can take Algorithms Larry and Hubert can take Algorithms

Explanation / Answer

(c) M(x) : x is by Matisse

B(x) : x is beautiful

m(x) : x is in the museum

All of the paintings by Matisse are beautiful

x, (M(x) -> B(x))

The museum has a painting by Matisse

x, (m(x) ^ M(x))

------------------------------------------

By conjunction,

=> x, (M(x) -> B(x)) ^ x, (m(x) ^ M(x))

By commutative law,

=> x, (M(x) -> B(x)) ^ x, (M(x) ^ m(x))

By conjunction

=> x, (M(x) -> B(x)) ^ x, M(x) ^ x, m(x)

By associative law,

=> (x, (M(x) -> B(x)) ^ x, M(x)) ^ x, m(x)

By modus pones

=> x, B(x) ^ x, m(x)

By conjunction

=> x, (B(x) ^ m(x))

This can be translated as

The museum has a beautiful painting.

Related Questions

Navigate

• Browse (All)
• Browse Y
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.