Course lecture I developed over section 6.2 of Patrick Hurley\'s "A Concise Introduction to Logic".Read less