Advertisement
Published in:
2012 | OriginalPaper | Chapter
1. Introduction
Author : Prof. Mordechai Ben-Ari
Published in: Mathematical Logic for Computer Science
Publisher: Springer London
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.Premise All rabbits have fur.Premise Some pets are rabbits.Conclusion Some pets have fur.