Math Question: Question : Consider the following sentences and prove that "Diana will win the game" 1.All Players are clever. 2.Anyone who is clever and dedicated can play the game well. 3.Anyone who is playing the game well will win his/her game. 4.Diana is a dedicated player. So my first attempt was representing the using axioms as follows(Please note that I'll be using the following notations as follows: VX - For all X(Universal quantifier) EX - For some X(Existential quantifier) Let P(X) be X is a player C(X) be X is clever D(X) be X is dedicated G(X) be X can play the game well W(X) be X will win his/her game Axiom Form : 1. VX [P(X) --> C(X) ] 2. [ ( C(X) ^ D(X) ) --> G(X) ] 3. VX [ G(X) --> W(X) ] 4. P(Diana) --> D(X) Clausal Form : 1. ~P(X) v C(X) 2. ~C(X) v ~D(X) v G(X) 3. ~G(X) v W(X) 4. ~P(Diana) v D(X) Can anyone please explain how to prove that "Diana will win the game" , using above clausal forms. Thanks!
Asked By Ashley On 10/09/2019 14:45
Click a subject below to view more math questions:
Math 1st grade 2nd grade 3rd grade 4th grade 5th grade 6th grade 7th grade 8th grade high school pre-algebra algebra 1 algebra 2 geometry trigonometry pre-calculus calculus 1 calculus 2 college
Math 1st grade 2nd grade 3rd grade 4th grade 5th grade 6th grade 7th grade 8th grade high school pre-algebra algebra 1 algebra 2 geometry trigonometry pre-calculus calculus 1 calculus 2 college