# Introduction

Chapter

## Abstract

Logic formalizes valid methods of reasoning. The study of logic was begun by the ancient Greeks whose educational system stressed competence in reasoning and in the use of language. Along with rhetoric and grammar, logic formed part of the

*trivium*, the first subjects taught to young people. Rules of logic were classified and named. The most widely known set of rules are the*syllogisms*; here is an example of one form of syllogism:If both premises are true, the rules ensure that the conclusion is true.

PremiseAll rabbits have fur.

PremiseSome pets are rabbits.

ConclusionSome pets have fur.

## Keywords

Model Checker Modal Logic Temporal Logic Logic Programming Propositional Logic
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## References

- E. Mendelson.
*Introduction to Mathematical Logic*(*Fifth Edition*). Chapman & Hall/CRC, 2009. MATHGoogle Scholar - A. Nerode and R.A. Shore.
*Logic for Applications*(*Second Edition*). Springer, 1997. MATHCrossRefGoogle Scholar - R.M. Smullyan.
*First-Order Logic*. Springer-Verlag, 1968. Reprinted by Dover, 1995. MATHCrossRefGoogle Scholar - R.M. Smullyan.
*What Is the Name of This Book?—The Riddle of Dracula and Other Logical Puzzles*. Prentice-Hall, 1978. MATHGoogle Scholar

## Copyright information

© Springer-Verlag London 2012