Framework SCFI 2011 SJK. Lecture Objectives O Understand the nature of a resolution and its various components. O Understand the nature of truth and the.