Scribd
Upload
12 views

Predicate Logic

The document defines and provides examples of predicates in predicate logic. A predicate contains variables and can be made into a proposition by assigning values to the variables or quantifying the variables. Examples of predicates are given along with explanations of predicates, variables, and quantifiers like universal and existential quantification.

Uploaded by

harold barlizo
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
12 views

Predicate Logic

The document defines and provides examples of predicates in predicate logic. A predicate contains variables and can be made into a proposition by assigning values to the variables or quantifying the variables. Examples of predicates are given along with explanations of predicates, variables, and quantifiers like universal and existential quantification.

Uploaded by

harold barlizo
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 10

https://www.youtube.com/watch?

v=h5UTvdcgFHw
Predicate Logic - Definition
A predicate is a statement that contains variables
(predicate variables), and they may be true or false
depending on the values of these variables.
Predicate Logic - Definition

A predicate is an expression of one or more


variables defined on some specific domain. A
predicate with variables can be made a
proposition by either assigning a value to the
variable or by quantifying the variable.
Example:
P(x) = “x2 is greater than x” is a
predicate.

The expression above contains one predicate variable x.


If we choose x = 1, P(1) is “1 is greater than 1”, which is a
proposition (always false).
Examples of Predicates
1. Let E(x, y) denote "x = y"
2. Let X(a, b, c) denote "a + b + c = 0"
3. Let M(x, y) denote "x is married to y“
4. Let Q(t) = “Fifteen is a rational number”
5. Let Z(f ) = “ 5 is an integer”

Remember:
1. There two components of an expression:
 Object or individual denoted by lower case letters
 Predicate denoted by upper case letters
2. Expressions which cannot be declared true or false are called
propositional functions.
Quantification of Propositional Functions
There are two quantifiers to describe “parts or
quantities” from a domain in a in a propositional
function:
1. the universal quantification, and
2. the existential quantification.
Exercises:

You might also like