CS245 Lecture : Assignment #4 + Solution Winter 2009
Document Summary
Due: thu 5 mar 2009 10am in the cs245 drop boxes. There may be multiple correct answers to some of these questions: (8 marks) determine whether the following argument is valid or invalid. If it is valid, prove its validity using natural deduction. If it is invalid, provide a counterexample and demonstrate that the argument is invalid. Do not use any rules from transformational proof. X p (f (x)) q(g(f (x), x)) (a is a constant) P (f (a)) q(g(f (a), a)) premise premise. X p (f (x)) q(g(f (x), x)) cases 3, 4 9, 10 11. 1: (24 marks) construct a theory about a tic-tac-toe-like game on a j j grid, where j is a constant. The grid is marked with x"s by one player and o"s by the other player. A player wins if they have a horizontal or vertical line of their marks.