Ask Question

Using predicate logic, prove the argument using the precicate symbols shown. There is some movie star who is richer than everyone. Anyone who is richer than anyone else pays more taxes than anyone else does. Therefore, there is a movie star who pays more taxes than anyone. M (x), R (x, y), T (x, y

+3
Answers (1)
  1. 4 May, 22:22
    0
    This statement can be written using predicate logic thus;

    (there exists x) (for all y) [M (x) ∧ R (x, y) ] ∧ (for all x) (for all y) [R (x, y) → T (x, y) ] → (there exists x) (for all y) [M (x) ∧ T (x, y) ]

    Proof:

    (there exists x) (for all y) [M (x) / / R (x, y) ] HYP (for all x) (for all y) [R (x, y) - > T (x, y) ] HYP (for all y) [M (s) / / R (s, y) ] EI, 1 M (s) / / R (s, y) UI, 3 (for all y) [R (s, y) - > T (s, y) ] UI, 2 R (s, y) - > T (s, y) UI, 5 R (s, y) Simp, 4 T (s, y) MP, 6,7 M (s) Simp, 4 M (s) / / T (s, y) Conj, 7,9 (for all y) [M (s) / / T (s, y) ] UG, 10 (there exists x) (for all y) [M (x) / / T (x, y) ] EG, 11
Know the Answer?
Not Sure About the Answer?
Find an answer to your question 👍 “Using predicate logic, prove the argument using the precicate symbols shown. There is some movie star who is richer than everyone. Anyone ...” in 📗 Computers & Technology if the answers seem to be not correct or there’s no answer. Try a smart search to find answers to similar questions.
Search for Other Answers