Problem Sets


12a2009Ex.10.doc
View Download		   30k v. 8 Nov 8, 2009 6:49 PM David Sidi
12a2009Ex.11.doc
View Download		   27k v. 1 Nov 8, 2009 6:49 PM David Sidi
12a2009Ex.12.doc
View Download		   29k v. 1 Nov 17, 2009 6:43 PM David Sidi
12a2009Ex.1.doc
View Download		 Due Wednesday, 09 Sep 2009, 4:00pm.  40k v. 2 Sep 6, 2009 5:33 PM David Sidi
12a2009Ex.2.doc
View Download		 Due Friday, 11 Sep 2009, 4:00pm.   29k v. 2 Sep 6, 2009 5:32 PM David Sidi
12a2009Ex.3.doc
View Download		   30k v. 1 Sep 11, 2009 4:05 PM David Sidi
12a2009Ex.4.doc
View Download		 Due Friday, 25 Sep 2009, 4:00pm  28k v. 1 Sep 21, 2009 11:05 AM David Sidi
12a2009Ex.5.doc
View Download		 Due Friday, 02 Oct. 2009, 4:00pm  27k v. 3 Sep 29, 2009 9:10 PM David Sidi
12a2009Ex.6.doc
View Download		 Due Friday, 09 Oct. 2009, 4:00pm   28k v. 4 Oct 6, 2009 10:16 PM David Sidi
12a2009Ex.7.doc
View Download		 Due Friday, 16 Oct. 2009, 4:00pm    27k v. 1 Oct 14, 2009 9:09 PM David Sidi
12a2009Ex.8.doc
View Download		   27k v. 1 Oct 29, 2009 8:44 PM David Sidi
12a2009Ex.9.doc
View Download		   27k v. 6 Oct 29, 2009 8:47 PM David Sidi
 Final review formal proofs
1somenotprovesnotall.prf
Download		   1k v. 2 Dec 14, 2009 9:04 PM David Sidi
1somenotprovesnotall(solved).prf
Download		 NOTE: if you have trouble opening these files, try removing '(solved)'from the file name and re-opening  1k v. 3 Dec 15, 2009 11:08 PM David Sidi
2notsomenotprovesall.prf
Download		   1k v. 2 Dec 14, 2009 9:04 PM David Sidi
2notsomenotprovesall(solved).prf
Download		   1k v. 2 Dec 14, 2009 9:04 PM David Sidi
3notsomeAprovesallAsareBs.prf
Download		   1k v. 2 Dec 14, 2009 9:04 PM David Sidi
3notsomeAprovesallAsareBs(solved).prf
Download		   1k v. 2 Dec 14, 2009 9:04 PM David Sidi
4ifsomethencontradictionprovesnotsome.prf
Download		   1k v. 2 Dec 15, 2009 7:02 PM David Sidi
4ifsomethencontradictionprovesnotsome(solved).prf
Download		   1k v. 2 Dec 15, 2009 7:02 PM David Sidi
5ifcisAandallAsareAsofsuccessorsprovesAissuccessorofsuccessorofc.prf
Download		   1k v. 2 Dec 14, 2009 9:04 PM David Sidi
5ifcisAandallAsareAsofsuccessorsprovesAissuccessorofsuccessorofc(solved).prf
Download		   1k v. 2 Dec 14, 2009 9:04 PM David Sidi
6pullingaquantifierintheconsequenttothefront.prf
Download		   1k v. 2 Dec 14, 2009 9:04 PM David Sidi
6pullingaquantifierintheconsequenttothefront(solved).prf
Download		   3k v. 2 Dec 14, 2009 9:04 PM David Sidi
7nullquantificationconditional.prf
Download		   1k v. 2 Dec 14, 2009 9:04 PM David Sidi
7nullquantificationconditional(solved).prf
Download		   3k v. 2 Dec 15, 2009 7:02 PM David Sidi
8twoformsofdefinitedescription(solved).prf
Download		   3k v. 2 Dec 14, 2009 9:04 PM David Sidi
 Test review sheets
final_review_r3.pdf
View Download		   120k v. 2 Dec 9, 2009 12:12 PM David Sidi
final_review_r5(withanswers).pdf
View Download		   168k v. 2 Dec 15, 2009 11:19 PM David Sidi
midterm_practice_sheet.pdf
View Download		   46k v. 8 Oct 11, 2009 12:03 PM David Sidi
midterm_practice_sheet_selected_answers.pdf
View Download		 Two of the zanier midterm review questions.  60k v. 5 Oct 14, 2009 12:28 AM David Sidi