Math 4321 Spring 2020


Classx Assignments

Jan.2.1 & 2.2 Intro14/ I 1-10; II 1-9; III 1 & 2;
21 18/ I. 1-10, II. 1-8;
Jan. 2.2 & 2.3 Forms14/ I. 11-15, II. 10-13, III. 3-5;
23 18/ I. 11-15, II. 9-13, III 1-8;
25/ I a-e, II 1-8, III 1-4;
Jan. 2.4 Proof 14/ I. 16-20, II. 14-20, III.6-10;
28 3.1 & 3.2 18/ I. 16-20, II. 14-20, III. 9-15;
Introducing 25/I. f-k, II. 9-18, III.5-9;
Proof 30/ I. 1&2, II. 1&2
35/ I. 1 - 8, II. 1 - 3, III. 1 & 2, IV. 1&2;
43/I. 1-8, II.1-4, III. 1- 4, IV. 1-4;
Jan. 3.3 Invalidity & 25/I. l - o, II. 19-21, III. 10 - 15;
30 3.4 Cond. Proof 30/ I. 3&4, II. 3&4;
35/I. 9&10, II. 4&5, III. 3&4, IV. 3-5;
Quiz 1 43/ I. 9-12, II. 5-7, III. 5-10, IV. 5-10;
49/1&2;
52/21;
Feb. 3.4 30/ I. 5-7, II. 5-7;
4more Cond.35/I. 11 - 15, II. 6 & 7, III. 5-7, IV. 6 & 7;
Proof43/ I. 13 - 20, II. 8-10, III. 11-18, IV. 11-16;
49/3&4;
52/22&23;
Feb.12th class day
5 Course will count under Six Drop Rule
Feb.3.5 Indirect30/I. 8-10, II.8-10;
6Proof 35/II. 8-10, III. 8-10, IV. 8-10;
43/III. 19-24, IV. 17-22;
Quiz 2 49/ 5;
52/ 24;
54/1;
Feb. 3.6 Proving43/III. 25-30, IV. 23-26;
11 Tautologies 49/6&7;
52/25;
54/ 2;
56/I. 1-4, II. 1&2;
Feb. 3.7 Str Cond Pf 49/8&9;
13 54/3;
56/I. 5-8, II. 3&4;
Quiz 361/1;
Feb. 3.8 Reducto 49/8&9;
18ad Absurdum 54/3;
56/I. 5-8, II. 3&4;
61/ 2-4;
62/Choose 10;
Feb. 4.1 Intro to49/ 10;
20Quantifiers 54/4;
56/ I.9-12, II. 5 - 8;
Quiz 4 61/5;
62/Choose 10;
69/ I.1-7;
Feb. 4.2 Validity with 54/5;
25Quantifiers 56/I. 13-17. II. 9&10;
61/6;
69/ I.8-18;
76/I. 1-4, II. 1&2;
Feb. 4.3 Invalidity 56/I.18-20;
27
Quiz 5 69/I. 19-30;
76/I. 5-10, II. 3-6;
82/I. 1-5, II.1-3, III. 1;
March 4.4 Multiply 69/I.31-46;
3General 76/II. 7-17;
Proposiitions 82/I. 6-10, II. 4-8, III. 2-4;
88/1&2;
March more 82/II. 9&10, III. 5-11;
5multiple 88/5-10;
quantifiers 92/I. 2 & 3, II. 2 & 3;
Quiz 6 100/2-4;
103/I. 1-4, II. 1;
March DAY OFFSpring Break
10
March DAY OFFSpring Break
12
March Review
17
MarchMidterm Exam
19Through 4.3
March4.5 Quantification 82/III. 12-15;
24Now done in 88/3&4;
detail 92/I. 1, II. 1;
100/1;
MarchReview 88/11-16;
26 92/I. 4 & 5, II. 4;
100/ 5-9;
Quiz 7
March4.6 Invalidity 88/ 17-20;
31 92/ I. 6, II. 5 & 6;
100/ 10;
103/I. 5-11, II. 2-4;
April4.7 Proof without103/ I.12-17, II. 5-7;
2premises 108/1 & 2;
Quiz 8
April< Review 103/I. 18-20, II. 8-10;
7 108/ 3-6;
115/ 1-3;
April 5.1 Relations 103/II. 11&12;
95.2 Proof 108/7-9;
Quiz 9
AprilReview 108/ 10;
14 115/4-10;
127/I.1-6, II.1-3;
132/I. 1&2, II. 1;
AprilLast Day To Withdraw
16
April5.3 Attributes of 115/ 11-16;
16Relations 127/ I. 7-18, II. 4-12;
132/I. 3-7, II. 2-4;
April5.4 Identity 115/ 17 - 20;
21 127/ I. 19 - 25, II. 13 - 25;
132/ I. 8-10, II. 5-10;
Quiz 10 139/1;
April7.1-7.4 Math Syst 127/ II. 26-37;
23 132/ II. 11 & 12;
139/ 2-4;
149/ 1;
April 9.3-9.5 Notation127/ II.38-45;
28 139/ 5-10;
Paper Due 149/ 2-7;
AprilReview
30
MayFinal 1600 - 1850COMPREHENSIVE
5 Note the START TIME and Duration of the Final

NOTE the Duration of the Final



Homework Assignments by Section

2.1 Compound Stmts. 14I. 1-20, II. 1-20, III. 1-10;
2.2 Conditional 18I. 1-20, II. 1-20, III 1-15;
2.3 Forms 25I a-o, II 1-21, III 1 - 15;
2.4 Validity 30I. 1-10, II. 1-10;
3.1 Derived Rules 35I. 1 - 15, II. 1 - 10, III. 1 - 10, IV. 1-10;
3.2 Replacement 43I. 1-20, II.1-10, III. 1- 30, IV. 1-26;
3.3 Invalidity 491-10;
3.4 Conditional Proof5221-25;
3.5 Indirect Proof 541-5;
3.6 Tautologies 56I. 1-20, II. 1-10;
3.7 Strengthened Cond.611-6;
3.8 Red. ad abs. 62Choose 20;
4.1 Quantifiers 69I.1-46;
4.2 Validity 76I. 1-10, II. 1-25;
4.3 Invalidity 82I. 1-10, II.1-10, III. 1-15;
4.4 Mult gen prop 881-20;
4.5 Quantification again92I. 1-6, II. 1-6;
1001-10;
103I. 1-20, II. 2-12;
4.6 Invalidity 1081-10;
4.7 Tautologies 1151-20;
5.1 Relations 127I.1-25, II.1-45;
5.2 Validity 132I. 1-10, II. 1-12;
5.3 Attributes 1391-7;
5.4 Identity 1491-7;

Back to MATH 4321


This page updated by Frank Matthews Jan. 20, 2020