Computer Science 2209A/B Lecture Notes - Lecture 1: Cuyahoga River, Truth Table, Propositional Calculus
3 Apr 2017
School
Department
Course
Professor
Document Summary
Logic is the analysis and appraisal of arguments. An argumentis a set of statements consisting of premises and a conclusion. An argument here isn"t a quarrel or fight. Rather it is the verbal expression of a reasoning process. Consider this argument about the cuyahoga river: no pure water is burnable. Some cuyahoga river water is not pure. (the horizontal line is short for therefore. ) Avalid (correct, sound)argument is one in which it would be contradictory for the premises to be true but the conclusion false. The content might deal with anything - water purity, mathematics, cooking, nuclear physics, ethics, or whatever. When we learn logic, we are learning tools of reasoning that can be applied to any subject. Let us take another argument: no pure water is burnable. This argument isinvalid. (the whole cuyahoga river could be polluted by non-burnables. ) One can argue against the conclusions and claim that they are wrong.
