21/03/2017

GEM2006/GET1028 Logic
study tutorial #
week lecture date topic P. Holiday (topic) reading exercise Logicola
Gensler
1 1 12/01/2017 Introduction (validity, soundness) (L70, E5,RE10) 1.1-1.3
6.1 easier translations; 6.2 simple truth tables; 6.3 truth C(EM,ET); D(TE,FE);
2 2 19/01/2017 evaluations (L70, E10,RE5) 6.1-6.3 6.1a;6.2a;6.3a D(TM,TH)
6.4 unknown evaluations; 6.5 complex truth tables; 6.6 the truth- D(UE,UM,UH,FM,FH,
3 3 26/01/2017 table test; 6.7 the truth-assignment test (L70, E10, RE5) 1(6.1-6.3) 6.4-6.7 6.4a;6.5a;6.6a AE,AM,AH)

4 4 02/02/2017 6.8 harder translations; 6.9idiomatic arguments (L70,E10,RE5) 1(6.1-6.3) 6.8-6.9 6.7a;6.8a;6.9a E(S,E,F,I); C(HM,HT)
6.10 S-rules; 6.11 I-rules; 6.12 mixing S- and I-rules; 6.13 extended 6.10- 6.10a;6.11a;6.12a;
5 5 09/02/2017 inferences (L60, E15,RE10) 2(6.4-6.9) 6.13 6.13a F(SE,SH,IE,IH,CE,CH)
6 6 16/02/2017 7.1 easier (propositional) proof (L87) 2(6.4-6.9) 7.1 7.1a;7.1b F(TE,TH);GEV
7 23/02/2017 mid-semestral break
3(6.10-
8 7 02/03/2017 7.2 easier (propositional) refutations (Q45, L40); quiz 1 6.13;7.1) 7.2 7.2a;7.2b G(EI,EC)
7.3 harder (propositional) proofs; 7.4 harder (propositional) 3(6.10- 7.3a;
9 8 09/03/2017 refutations (L65, E10, RE10) 6.13;7.1) 7.3-7.4 7.3b;7.4a;7.4b G(HV,HI,HC)
10 9 16/03/2017 8.1 easier (quantificational) translations (L55,E15,RE15) 4(7.2-7.4) 8.1 8.1a H(EM,ET)
11 10 23/03/2017 8.2 easier (quantificational) proofs (L55,E15,RE15) 4(7.2-7.4) 8.2 8.2a;8.2b I(EV)

12 11 30/03/2017 8.3 easier (quantificational) refutations (L46); ungraded mock quiz 5(8.1-8.2) 8.3 8.3a;8.3b I(EI,EC)
8.4 harder (quantificational) translations; 8.5 harder
13 12 06/04/2017 (quantificational) proofs (L66) 5(8.1-8.2) 8.4-8.5 8.4a;8.5a;8.5b H(HM,HT); I(HC,MC)
14 13 13/04/2017 review (particularly 8.3-8.4); quiz 2