Scribd
Upload
122 views1 page

Logic LessonPlan

The document outlines a logic course over 14 weeks. It includes topics to be covered each week such as introductions to validity, truth tables, proofs, translations, and quantificational logic. It also lists assigned readings, exercises, and online homework to be completed.

Uploaded by

Nope No
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
122 views1 page

Logic LessonPlan

The document outlines a logic course over 14 weeks. It includes topics to be covered each week such as introductions to validity, truth tables, proofs, translations, and quantificational logic. It also lists assigned readings, exercises, and online homework to be completed.

Uploaded by

Nope No
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

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

You might also like