Predicate Logic Basics

In this class, We discuss Predicate Logic Basics.

The reader should have prior knowledge of showing valid inference examples. Click Here.

In our previous classes, we discussed atomic statements.

Examples:

J: Jhanvi plays football

M: Mohan plays football

S: Sindhu plays football

Each atomic statement is given a variable.

In the above three statements, “plays football” is common.

We take “plays football” as a predicate.

The predicate is mentioned using the upper case variable.

P: plays football

Jhanvi, Mohan, and Sindhu are subjects.

Subjects are given lowercase variables.

Jhanvi plays football and is shown as P(j).

P(m) means Mohan plays football

The statement function is written as P(x)

In place of variable x, we can place any subject.