Predicate Logic

Although Propositional Logic is

complete ...
It is still inadequate.
 Predicate Logic
Although Propositional Logic is
complete ...
It is still inadequate.

All men are mortal.

Socrates is a man.
Socrates is mortal.
 Predicate Logic
Although Propositional Logic is
complete ...
It is still inadequate.

All men are mortal.

Socrates is a man. VALID
Socrates is mortal.
 Predicate Logic
Although Propositional Logic is
complete ...
It is still inadequate.

P All men are mortal.

Q Socrates is a man. VALID
R Socrates is mortal.
 Predicate Logic
Although Propositional Logic is
complete ...
It is still inadequate.

P All men are mortal.

INVALID
FORM
Q Socrates is a man. VALID
R Socrates is mortal.
 Predicate Logic
Although Propositional Logic is
complete ...
It is still inadequate.

All men are mortal.

Socrates is a man. VALID
Socrates is mortal.
 Predicate Logic
Although Propositional Logic is
complete ...
It is still inadequate.

All A are B All men are mortal.

n is A Socrates is a man. VALID
n is B Socrates is mortal.
 Predicate Logic
Although Propositional Logic is
complete ...
It is still inadequate.

All A are B All men are mortal.

n is A Socrates is a man. VALID
n is B Socrates is mortal.

To capture what makes this form valid

we need to notate the subject and predicate
of a proposition.
Predicate Logic
Predicate Logic
Alternative names:

Predicate Logic
 Predicate Logic
Alternative names:

Predicate Logic
Quantificational Logic

Quantifiers: all, some, no

Predicate Logic
Alternative names:

Predicate Logic
Quantificational Logic
First Order Logic
Predicate Logic
Alternative names:

Predicate Logic
Quantificational Logic
First Order Logic

Predicate Calculus
 Predicate Logic
Alternative names:

Predicate Logic
Quantificational Logic
First Order Logic

Predicate Calculus
Quantificational Calculus
First Order Calculus
 Predicate Logic
Alternative names:

Predicate Logic
Quantificational Logic
First Order Logic

Predicate Calculus
Quantificational Calculus
First Order Calculus
First Order Functional Calculus

For more click here