PDF Archive

Easily share your PDF documents with your contacts, on the Web and Social Networks.

Send a file File manager PDF Toolbox Search Help Contact



predicate and quantifires .pdf



Original filename: predicate and quantifires.pdf

This PDF 1.2 document has been generated by LaTeX with hyperref package / dvips + AFPL Ghostscript 8.0, and has been sent on pdf-archive.com on 06/11/2015 at 09:11, from IP address 41.37.x.x. The current document download page has been viewed 279 times.
File size: 189 KB (52 pages).
Privacy: public file




Download original PDF file









Document preview


Predicates and Quantified statements
A predicate is a sentence that contains a finite
number of variables and becomes a statement
when specific values are substituted for the
variables.

. – p.1/23

Predicates and Quantified statements

For example, the sentence "x is a student of y" is
a predicate. We denote this as P (x, y). x and y
are called predicate variables that take values in
appropriate sets.

. – p.1/23

Predicates and Quantified statements

For example, the sentence "x is a student of y" is
a predicate. We denote this as P (x, y). x and y
are called predicate variables that take values in
appropriate sets.
The domain of a predicate variable is the set of
all values that may be substituted in place of the
variables (E.g.: The domain for x may be students
in NUS).

. – p.1/23

Truth Set
If P (x) is a predicate and x has the domain D,
the truth set of P (x) is the set of all elements of D
that make P (x) true when substituted for x.

. – p.2/23

Truth Set
The truth set of P (x) is denoted
{x ∈ D|P (x)}
which is read ”the set of all x in D such that P (x)”.

. – p.2/23

Example
Let D be the set of integers. Let P (x) be ”x is a
factor of 6”. Then the truth set
{x ∈ D|P (x)} = {1, 2, 3, 6}.

. – p.3/23

The use of ⇒ and ⇔
Let P (x) and Q(x) be predicates and suppose
the common domain of x is D.

. – p.4/23

The use of ⇒ and ⇔
Let P (x) and Q(x) be predicates and suppose
the common domain of x is D.
P (x) ⇒ Q(x) means that every element in the
truth set of P (x) is in the truth set of Q(x).

. – p.4/23

The use of ⇒ and ⇔
Let P (x) and Q(x) be predicates and suppose
the common domain of x is D.
P (x) ⇔ Q(x) means that the truth sets of P (x)
and Q(x) are identical.

. – p.4/23


Related documents


PDF Document predicate and quantifires
PDF Document dmsunit3
PDF Document discreet lec 3
PDF Document nikaskansyntax 121515
PDF Document cs cheat sheet
PDF Document post m 2007 a grammar of galo phd di


Related keywords