6. (8 marks) 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 Turing is an element of the domain. In the predicate definitions, "is" stands for "is/was". I(x): is intelligent. C(x): r is creative. B(x): x is a brilliant computer scientist. P(a): r can pass the Turing test. W(x): x wrote On computable numbers, with an application to the entscheidungsproblem. Anyone who can pass the Turing test is intelligent. No one is a brilliant computer scientist unless he is creative Turing wrote On computable numbers, with an application to the entscheidungsproblem. No one who can't pass the Turing test is creative. No one but a brilliant computer scientist could have written On computable numbers, with an application to the entscheidungsproblem .:. Turing is intelligent