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