Course lecture I developed over section 3.4 of Patrick Hurley\'s "A Concise Introduction to Logic".Weniger lesen