In: Computer Science
Translate the following argument into formal logical notation using the scheme of abbreviation provided below. State whether or not the argument is valid and give a few words of justification for your answer. The domain is the set of all people, and John is an element of the domain.
A(x): x is smart
B(x): x is creative
C(x): x is a brilliant mathematician
D(x): x can pass the math test
E(x): x wrote a math textbook
Anyone who can pass the math test is smart.
No one is a brilliant mathematician unless they are creative.
John wrote the math textbook.
No one who can't pass the math test is creative.
No one but a brilliant mathematician could have written a math textbook.
Therefore, John is smart.
If you have any questions comment down. Please just don't simply downvote and leave. If you are satisfied with answer, please? upvote thanks