The lectures were produced using technology that is described in this video:
https://youtu.be/ltOxgb28ZKY

No.	PDF	Video
	Week   1
1	Class #01	Introduction To Logic for Computing Science
		Course Overview
		Well Formed Formula, or WFF
		WFF, "take two"
		Introduction to JAPE software
2	Class #02	Conjunction And Double Negation
		Rules Of Deduction For Conjunction
		JAPE For Conjunction
		Rules Of Deduction For Double Negation
		JAPE For Double Negation
3	Class #03	Implication Elimination
		Rule Of Deduction For Implication Elimination
		JAPE For Implication Elimination
	Week   2
4	Class #04	Rules Using Backward Reasoning
		Rules Of Deduction For Negation Elimination And Bottom Elimination
		JAPE For Negation Elimination And Bottom Elimination
		Rule Of Deduction For Implication Introduction
		JAPE For Implication Introduction
		Backward Reasoning For Implication Elimination
5	Class #05	Reasoning Using Contradiction
		Rule Of Deduction For Negation Introduction
		JAPE For Negation Introduction
		Rule Of Deduction For Proof By Contradiction
		JAPE For Proof By Contradiction (PBC)
		Strategies For Reasoning Using Contradiction
		JAPE For Reasoning Using Contradiction
		Rule Of Deduction For Disjunction Introduction
		JAPE For Disjunction Introduction
6	Class #06	LEM and Disjunction Elimination
		Rule Of Deduction For LEM, Law of Excluded Middle
		JAPE For Law of Excluded Middle
		Rule Of Deduction For Disjunction Elimination
		JAPE For Disjunction Elimination
		Strategies For Nesting Contradictions In Proofs
		JAPE For Nesting Contradictions In Proofs
	Week   3
7	Class #07	Basic Propositional Semantics
		Parse Trees
		Valuations Of Propositions
		Semantic Entailment For Propositions
8	Class #08	Consistency And Completeness For Propositional Logic
		Metalogic For Propositional Logic
		Consistency For Propositional Logic
		Correctness For Propositional Logic
		Completeness For Propositional Logic
9	Test #1	Basic Propositional Proofs
	Week   4
10	Class #10	Semantic Equivalence For Propositional Logic
		Semantic Equivalence
		de Morgan's Laws
		Satisfiability And Valuations
11	Class #11	Conjunctive Normal Form (CNF)
		Disjunctive Tautologies
		Semantics Of A Conjunctive Normal Form
		Syntactic Method For Conjunctive Normal Form
12	Class #12	Tseitin Encoding For Conjunctive Normal Form
		Auxiliary Variables
		Tseitin Encoding
	Week   5
13	Class #13	Motivation For Predicate Logic
		Need For A Richer Logical Language
		Parsing In Predicate Logic
14	Class #14	Predicate Logic As A Formal Language
		Predicate Logic As A Formal Language
15	Class #15	Scope Of Quantifiers
		Introduction To Quantifier Scope
		Definition Of Quantifier Scope
		Quantifier Scope And Bindings Of Variables
	Week   6
16	Class #16	Proof Rules For Universal Quantifiers
		Proof Rule Of Universal Elimination
		JAPE For Universal Elimination
		Proof Rule Of Universal Introduction
		JAPE For Universal Introduction
17	Class #17	Proof Rules For Existential Quantifiers
		Proof Rule Of Existential Introduction
		JAPE For Existential Introduction
		Proof Rule Of Existential Elimination
		JAPE For Existential Elimination
18	Test #2	Semantics For Propositional Logic
		Reading Week
		Holiday Special
	Week   7
19	Class #19	Working With Multiple Quantifiers
		Combining Universal And Existential Quantifiers
		Strategies For Universal Distribution Over Conjunction
		JAPE For Universal Distribution Over Conjunction
20	Class #20	Commuting Universal Quantifiers
		Strategies For Commuting Universal Quantifiers
		JAPE For Commuting Universal Quantifiers
21	Class #21	Reasoning With Predicates And Propositions
		Strategies For Predicates And Propositions
		JAPE For Predicates And Propositions
		Strategies For Multiple Quantifiers
		JAPE Strategies For Multiple Quantifiers
		JAPE Example For Multiple Quantifiers
	Week   8
22	Class #22	Semantics For Predicate Logic
		Introduction To Predicate Semantics
		Extensional Semantics Of Predicates As Sets
		Semantics Of Equality
23	Class #23	Semantics Of Functions And Variables
		Semantics Of Functions
		Semantics Of Unbound Variables
24	Test #3	Basic Predicate Proofs
	Week   9
25	Class #25	Models For Predicate Logic
		Theory Of Semantics For Models
		Examples Of Semantics For Models
26	Class #26	Semantics Of Formulas
		Theory Of Semantics Of Formulas
27	Class #27	Semantics For Logical Environments
		Environments With Free Variables And Unbound Variables
	Week   10
28	Class #28	Satisfaction And Interpretations Of Predicate Logic
		Satisfaction And Predicate Logic
		Interpretations Of Predicate Logic
29	Class #29	Semantic Entailment And Satisfiability
		Semantics For Semantic Entailment
		Semantics For Satisfiability
30	Test #4	Basic Semantics Of Predicate Logic
	Week   11
31	Class #31	Validity And Consistency Of Predicate Logic
		Validity Of Predicate Logic
		Consistency Of Predicate Logic
32	Class #32	Correctness Of Predicate Logic
		Correctness Of Predicate Logic
33	Class #33	Undecidability Of Predicate Logic
		Undecidability Of Predicate Logic
	Week   12
34	Class #34	Topics In Advanced Modeling
		Advanced Modeling Of A Logical System
35	Class #35	Course Summary
		Summary Of Logic For Computing Science
36	Test #5	Environments And Interpretations
		Extra Material
	Rules	Reference: Proof Rules

Queen's University is situated on the territory of the Haudenosaunee and Anishinaabek.

Ne Queen's University e’tho nón:we nikanónhsote tsi nón:we ne Haudenosaunee táhnon Anishinaabek tehatihsnonhsáhere ne onhwéntsya.

Gimaakwe Gchi-gkinoomaagegamig atemagad Naadowe miinwaa Anishinaabe aking.