O'Reilly logo

Introduction to Logic, 2nd Edition by Eric Kao, Michael Genesereth

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

CHAPTER 1

Introduction

1.1 LOGIC

Logic is one of the oldest intellectual disciplines in human history. It dates back to Aristotle; it has been studied through the centuries; and it is still a subject of active investigation today.

We use Logic is just about everything we do. We use it in our personal lives. We use it in our professional activities. We use the language of Logic to state observations, to define concepts, and to formalize theories. We use logical reasoning to derive conclusions from these bits of information. We use logical proofs to convince others of these conclusions.

And we are not alone! Logic is increasingly being used by computers—to prove mathematical theorems, to validate engineering designs, to diagnose failures, to encode ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required