Logik-Skript 1: Wahrheit Und Logisches Schliessen

Logic is the teaching of correct reasoning, describing its general laws as the basis of rational thinking. This book supplies the rudiments of the semantics and syntax of classical elementary logic while simultaneously reflecting its limitations. It explains formal concepts of truth and develops a calculus for logically valid reasoning. By means of numerous examples and many exercises, the readers learn to independently induce logical proof and to recognize logically valid arguments, to solve logically tricky puzzles and to avoid logical mistakes. The book is particularly appropriate as a textbook for a one-semester course in the introduction to logic. It is aimed at freshmen and at all those who are looking for a formally precise yet application-oriented approach to logic.