Professional Documents
Culture Documents
Animesh Choudhary
-2015MT0870
Btech. Project
Introduction
Consider the argument:
1. Tommy is a dog.
2. Every dog is an animal.
3. Hence, Tommy is an animal.
The argument (which seems logically
correct) cannot be proved using
propositional logic. For, propositional logic
would express this as:
)
. For example, (Ram,Shyam) may be a member
of the relation ‘Friends’.
The resulting logic is called first order logic because
we can quantify only over the objects and not over
the functions and predicates.
Notation Example