Open In App

Predicates and Quantifiers

Improve
Improve
Improve
Like Article
Like
Save Article
Save
Share
Report issue
Report

Prerequisite :

Introduction to Propositional Logic

Introduction

Consider the following example. We need to convert the following sentence into a mathematical statement using propositional logic only.

"Every person who is 18 years or older, is eligible to vote."


The above statement cannot be adequately expressed using only propositional logic. The problem in trying to do so is that propositional logic is not expressive enough to deal with quantified variables. It would have been easier if the statement were referring to a specific person. But since it is not the case and the statement applies to all people who are 18 years or older, we are stuck. Therefore we need a more powerful type of logic.

Predicate Logic

Predicate logic is an extension of Propositional logic. It adds the concept of predicates and quantifiers to better capture the meaning of statements that cannot be adequately expressed by propositional logic.

What is a predicate?

Consider the statement, “

*** QuickLaTeX cannot compile formula:
x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

is greater than 3″. It has two parts. The first part, the variable

*** QuickLaTeX cannot compile formula:
x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

, is the subject of the statement. The second part, “is greater than 3”, is the

predicate

. It refers to a property that the subject of the statement can have. The statement “

*** QuickLaTeX cannot compile formula:
x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

is greater than 3″ can be denoted by

*** QuickLaTeX cannot compile formula:
P(x)


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

where

*** QuickLaTeX cannot compile formula:
P


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

denotes the predicate “is greater than 3” and

*** QuickLaTeX cannot compile formula:
x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

is the variable. The predicate

*** QuickLaTeX cannot compile formula:
P


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

can be considered as a function. It tells the truth value of the statement

*** QuickLaTeX cannot compile formula:
P(x)


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

at

*** QuickLaTeX cannot compile formula:
x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

. Once a value has been assigned to the variable

*** QuickLaTeX cannot compile formula:
x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

, the statement

*** QuickLaTeX cannot compile formula:
P(x)


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

becomes a proposition and has a truth or false(tf) value. In general, a statement involving n variables

*** QuickLaTeX cannot compile formula:
x1, x2, x3,.. , xn


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

can be denoted by

*** QuickLaTeX cannot compile formula:
P(x1, x2, x3,.. , xn)


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

. Here

*** QuickLaTeX cannot compile formula:
P


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

is also referred to as

n-place predicate

or a

n-ary predicate

.

  • Example 1: Let
    *** QuickLaTeX cannot compile formula:
    P(x)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    denote the statement “
    *** QuickLaTeX cannot compile formula:
    x
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    > 10″. What are the truth values of
    *** QuickLaTeX cannot compile formula:
    P(11)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    and
    *** QuickLaTeX cannot compile formula:
    P(5)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    ? Solution:
    *** QuickLaTeX cannot compile formula:
    P(11)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    is equivalent to the statement 11 > 10, which is True.
    *** QuickLaTeX cannot compile formula:
    P(5)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    is equivalent to the statement 5 > 10, which is False.
  • Example 2: Let
    *** QuickLaTeX cannot compile formula:
    R(x,y)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    denote the statement “
    *** QuickLaTeX cannot compile formula:
    x = y + 1
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    “.  What is the truth value of the propositions
    *** QuickLaTeX cannot compile formula:
    R(1,3)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    and
    *** QuickLaTeX cannot compile formula:
    R(2,1)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    ? Solution:
    *** QuickLaTeX cannot compile formula:
    R(1,3)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    is the statement 1 = 3 + 1, which is False.
    *** QuickLaTeX cannot compile formula:
    R(2,1)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    is the statement 2 = 1 + 1, which is True.

What are quantifiers?

In predicate logic, predicates are used alongside quantifiers to express the extent to which a predicate is true over a range of elements. Using quantifiers to create such propositions is called

quantification

. There are two types of quantification-

1. Universal Quantification-

Mathematical statements sometimes assert that a property is true for all the values of a variable in a particular domain, called the

domain of discourse

. Such a statement is expressed using universal quantification. The universal quantification of

*** QuickLaTeX cannot compile formula:
P(x)


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

for a particular domain is the proposition that asserts that

*** QuickLaTeX cannot compile formula:
P(x)


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

is true for all values of

*** QuickLaTeX cannot compile formula:
x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

in this domain. The domain is very important here since it decides the possible values of

*** QuickLaTeX cannot compile formula:
x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

. The meaning of the universal quantification of

*** QuickLaTeX cannot compile formula:
P(x)


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

changes when the domain is changed. The domain must be specified when a universal quantification is used, as without it, it has no meaning.

Formally,
The universal quantification of P(x) is the statement
"P(x) for all values of x in the domain"

The notation \forall P(x) denotes the universal quantification of P(x).
Here \forall is called the universal quantifier.
\forall P(x) is read as "for all x P(x)".

  • Example 1: Let
    *** QuickLaTeX cannot compile formula:
    P(x)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    be the statement “
    *** QuickLaTeX cannot compile formula:
    x + 2 
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    >
    *** QuickLaTeX cannot compile formula:
    x
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    “. What is the truth value of the statement
    *** QuickLaTeX cannot compile formula:
    \forall xP(x)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    ? Solution: As
    *** QuickLaTeX cannot compile formula:
    x+2
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    is greater than
    *** QuickLaTeX cannot compile formula:
    x
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    for any real number, so
    *** QuickLaTeX cannot compile formula:
    P(x) \equiv T
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    for all
    *** QuickLaTeX cannot compile formula:
    x
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    or
    *** QuickLaTeX cannot compile formula:
    \forall xP(x) \equiv T
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    .

2. Existential Quantification-

Some mathematical statements assert that there is an element with a certain property. Such statements are expressed by existential quantification. Existential quantification can be used to form a proposition that is true if and only if

*** QuickLaTeX cannot compile formula:
P(x)


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

is true for at least one value of

*** QuickLaTeX cannot compile formula:
x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

in the domain.

Formally,
The existential quantification of P(x) is the statement
"There exists an element x in the domain such that P(x)"

The notation \exists P(x) denotes the existential quantification of P(x).
Here \exists is called the existential quantifier.
\exists P(x) is read as "There is atleast one such x such that P(x)".

  • Example : Let
    *** QuickLaTeX cannot compile formula:
    P(x)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    be the statement “
    *** QuickLaTeX cannot compile formula:
    x
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    > 5″. What is the truth value of the statement
    *** QuickLaTeX cannot compile formula:
    \exists xP(x)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    ? Solution: 
    *** QuickLaTeX cannot compile formula:
    P(x)
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    is true for all real numbers greater than 5 and false for all real numbers less than 5. So
    *** QuickLaTeX cannot compile formula:
    \exists xP(x) \equiv T
    
    
    *** Error message:
    Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
    Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
    These links might help in finding solution:
    http://wordpress.org/extend/plugins/core-control/
    http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37
    .

To summarise,

*** QuickLaTeX cannot compile formula:
\begin{tabular}{||c||c||c||}\hlineStatement & When True? & When False? \\\hline\hline\forall P(x) & P(x) is\:true\:for\:all\:x & There\:is\:an\:x\:for\:which\:P(x)\:is\:false \\\hline\exists P(x) & There\:is\:an\:x\:for\:which\:P(x)\:is\:true & P(x) is\:false\:for\:all\:x \\\hline\end{tabular}

*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37


Now if we try to convert the statement, given in the beginning of this article, into a mathematical statement using predicate logic, we would get something like-

*** QuickLaTeX cannot compile formula:
\forall P(x) \leftrightarrow Q(x) \\

*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

Here, P(x) is the statement "x is 18 years or older and,
Q(x) is the statement "x is eligible to vote".


Notice that the given statement is not mentioned as a biconditional and yet we used one. This is because Natural language is ambiguous sometimes, and we made an assumption. This assumption was made since it is true that a person can vote if and only if he/she is 18 years or older. Refer

Introduction to Propositional Logic

for more explanation.

Other Quantifiers –

Although the universal and existential quantifiers are the most important in Mathematics and Computer Science, they are not the only ones. In Fact, there is no limitation on the number of different quantifiers that can be defined, such as “exactly two”, “there are no more than three”, “there are at least 10”, and so on. Of all the other possible quantifiers, the one that is seen most often is the

uniqueness quantifier

, denoted by

*** QuickLaTeX cannot compile formula:
\exists !


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

.

The notation \exists !xP(x) states "There exists a unique x such that P(x) is true".

Quantifiers with restricted domains

As we know that quantifiers are meaningless if the variables they bind do not have a domain. The following abbreviated notation is used to restrict the domain of the variables-

*** QuickLaTeX cannot compile formula:
\forall x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

> 0,

*** QuickLaTeX cannot compile formula:
x^2


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

> 0. The above statement restricts the domain of

*** QuickLaTeX cannot compile formula:
x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

, and is a shorthand for writing another proposition, that says

*** QuickLaTeX cannot compile formula:
x > 0


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

, in the statement. If we try to rewrite this statement using an implication, we would get-

*** QuickLaTeX cannot compile formula:
\forall x (x


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

>

*** QuickLaTeX cannot compile formula:
0\: \rightarrow \: x^2


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10000 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

>

*** QuickLaTeX cannot compile formula:
 0)


*** Error message:
Cannot connect to QuickLaTeX server: cURL error 28: Connection timed out after 10001 milliseconds
Please make sure your server/PHP settings allow HTTP requests to external resources ("allow_url_fopen", etc.)
These links might help in finding solution:
http://wordpress.org/extend/plugins/core-control/
http://wordpress.org/support/topic/an-unexpected-http-error-occurred-during-the-api-request-on-wordpress-3?replies=37

Similarly, a statement using Existential quantifier can be restated using conjunction between the domain restricting proposition and the actual predicate.

  1. Restriction of universal quantification is the same as the universal quantification of a conditional statement.
  2. Restriction of an existential quantification is the same as the existential quantification of conjunction.

Definitions to Note:

1. Binding variables-

A variable whose occurrence is bound by a quantifier is called a

bound

variable. Variables not bound by any quantifiers are called

free

variables.

2. Scope-

The part of the logical expression to which a quantifier is applied is called the

scope

of the quantifier. This topic has been covered in two parts. The second part of this topic is explained in another article –

Predicates and Quantifiers – Set 2

References-

First Order Logic – WikipediaQuantifiers – WikipediaDiscrete Mathematics and its Applications, by Kenneth H Rosen

Last Updated : 06 Feb, 2024
Like Article
Save Article
Previous
Next
Share your thoughts in the comments
Similar Reads