Patrick B. answered • 10/12/19

Math and computer tutor/teacher

Prove it by contradiction...

Suppose Diana will LOSE the game, so ~W

Then clausal statement 3 implies that Diana is not a good player.

Clausal statement 2 implies that Diana is not Clever OR Diana is not Dedicated.

Clausal Statement #1 then shows that Diana is not a player since she is not clever

OR

Clausal Statement #4 then shows that Diana is not a player at all since she is not dedicated.

Both statements are contradictions, especially the latter

Ashley P.

Thanks a lot for the response! But this is to be solved using the resolution principle . Plus could you tell me whether I've converted the sentences to axioms form, in a correct manner? Thanks!10/13/19