Predicate logic or first order logic

Question 1

Definition of predicate logic

Answer 1

A predicate is a function. It takes some variable(s) as arguments; it returns either True or False (but not both) for each combination of argument variables.

Question 2

Variables in predicate logic
(Another name also)

Answer 2

The variables are always associated with a universe (or domain) of discourse, which tells us what combinations of the argument values are allowed

Question 3

Suppose P(x) is predicate for x ={1,2,3}
Give proposition of it

Answer 3

P(1)

Question 4

Relation between predicate and proposition

Answer 4

In general, a predicate is not proposition. But when you assign values to all its argument variables, you got a proposition.

Question 5

Qunatifiers (2)

Answer 5

Universal Quantifier
Existential Quantifier

Question 6

Universal Quantification

Answer 6

Question 7

Existential Quantification

Answer 7

Question 8

Quantifier negation
(also rule to negate quantifier)

Answer 8

Question 9

Nested Quantifeirs

Answer 9

Question 10

What matters in predicate logic (2)

Answer 10

Order and scope