Multiple Variable Predicate Examples

In this class, We discuss Multiple Variable Predicate Examples.

The reader should have prior knowledge of predicate logic basics. Click Here.

Examples of single variable predicate.

Jhanvi is studying B-Tech, and she is smart.

Predicates

B: is studying B-Tech

S: is smart

The above statement can be written as B(j) ∧ S(j)

¬B(j) is Jhanvi is not studying B-Tech

If Jhanvi is studying B-Tech, then she is smart.

B(j) -> S(j)

Two variable predicates:

Jhanvi is smarter than Sindhu

S: is smarter than

S(j, s)

Three variable

Jhanvi sits between Sindhu and Mohan

S: sits between

S(j, s, m)