Ranked #1
Lecture 06: Audio
Lecture 06: Audio
An introduction to the proof method in sentential logic, with examples using five inference rules (MP, MT, DS, HS, simp)... Read more
19 Nov 2006
•
48mins
Ranked #2
Lecture 07: Audio
Lecture 07: Audio
Additional inference rules (dil, DI, conj), and three replacement rules (CE, DN, comm). Examples of more complicated pro... Read more
17 Nov 2006
•
48mins
Ranked #3
Lecture 08: Audio
Lecture 08: Audio
Introduction of final seven replacement rules (DeM, BE, contra, dist, exp, assoc, dup); and introduction to the method o... Read more
15 Nov 2006
•
50mins
Ranked #4
Lecture 09: Audio
Lecture 09: Audio
Introduction to conditional proof; multiple and nested subproofs; using the proof method to verify that a statement is a... Read more
13 Nov 2006
•
55mins
Ranked #5
Lecture 10: Audio
Lecture 10: Audio
Clarification of issues that often cause problems, including: negation, the interpretation of statement variables and op... Read more
11 Nov 2006
•
1hr 24mins