Math 1090 W08 Midterm Exam Solutions
(1) Prove (A B C) (A (B C). (You cannot use Post's theorem, but you can use any of the proof methods covered so far.) Solution. A (B C) (2.4.11) A (B C) (2.4.11) A B C (2.4.4) (A B) C (2.4.17) (A B) C (2.4.11) AB C (2)

MATH1090
Problem Set No1: Solutions
September 2007
Faculty of Science and Engineering
Dept. of Mathematics and Statistics MATH1090. Problem Set No1: Solutions Posted: Oct. 9, 2007
1. (6 MARKS) (a) Prove that the last symbol of a formula cannot be . (b) Pr

MATH1090
Problem Set 3 -Solutions
November 2007
Dept. of MATH and STATS
MATH1090. Problem Set 3 -Solutions Posted: Nov. 21, 2007
1. (5 MARKS) Use resolution (in combination with the deduction theorem) -but NOT Post's theorem- to prove A B C A C B Proof. P

MATH1090
Problem Set 4 -Solutions
December 2007
Dept. of MATH and STATS
MATH1090. Problem Set 4 -Solutions Posted: Dec. 5, 2007
Do the following problems from the text -each has max 5 MARKS. (1) Section 6.6: Problems: 2: Show that (x)(A (B C) (x)(A B) (x)

MATH1090
Problem Set 4 -Solutions addendum
December 2007
Dept. of MATH and STATS
MATH1090. Problem Set 4 -Solutions addendum Posted: Dec. 5, 2007
(1) Section 6.6: Problems: 11: Prove Proof. (x)(x := t A) A[x := t], provided x is not free in t.
(x)(x :=

York University
Faculty of Pure and Applied Science, Faculty of Arts, Atkinson Faculty MATH 1090 Final Examination, December 2005
Sections A (Tourlakis) and B (Farah)
NAME (print in ink):
(Family) (First)
SIGNATURE (in ink):
SECTION (in ink):
STUDENT NUMB

York University
Department of Mathematics and Statistics Faculty of Science and Engineering MATH1090 A. Mid Term Test, October 28, 2008
Solutions
Professor George Tourlakis
Question 1. (a) (2 MARKS) Through truth tables or related short cuts show that |=t