Introduction to Logic for Computer Science

Description

Logic is the study of the criteria used in evaluating inferences or arguments. Logic is very important in philosophy, because so much of what philosophers do involves putting forth arguments, and assessing those of others. Logic is the study of correct reasoning. It includes both formal and informal logic. Logic plays a central role in multiple fields such as philosophy, mathematics, computer science and linguistics. Logic studies arguments, which consists of a set premises together with a conclusion. This book introduces the fundamental methods and techniques of correct reasoning, in a manner that shows the relevance of the topic to readers everyday lives.