Travail de logique et de théorie des ensembles

Fonctions propositionnelles et quantificateurs

Cheyla Arrieta

Sergio Guerrero

Rosa

Yair Rueda

Sheyra
Fonctions propositionnelles :

Une fonction propositionnelle est une fonction dont les variables sont des propositions. Cela
Oui, une affirmation exprimée de manière à pouvoir assumer les valeurs de vérité,
de faux ou vrai avec l'exception qu'il existe une variable qui n'est pas
définie ou spécifiée et qui, par conséquent, ne permet pas d'assigner une valeur de vérité
défini.

Une fonction propositionnelle est une énoncé ouvert de la forme P(X), c'est-à-dire, on
il s'agit d'une expression contenant une variable qui, lorsqu'elle est remplacée par un
valeur particulière (nombre) devient proposition.

Tout comme les propositions, les fonctions propositionnelles peuvent être unies par
connecteurs logiques, formant des fonctions propositionnelles composées.

Ensemble solution d'une fonction propositionnelle

L'ensemble de validité (ou ensemble solution) d'une fonction propositionnelle est celui
valeurs de l'ensemble de substitution pour lesquelles c'est vrai. Résoudre cela
La fonction propositionnelle est de trouver son ensemble solution.

Exemples :

a).P(X): X est impair

● P(2) est impair. (F)

● P(-4) est impair. (F)
● P(7) est impair.(V)
● P(3) est impair.(V)

b).P(X, Y) : X est un diviseur de Y.

● P(4, 8) : 4 est un diviseur de 8. (V)

● P(10, 2) : 10 est un diviseur de 2. (F)

Nota : L'ensemble de toutes les valeurs convenues pour « X » est appelé DOMAINE.
DE LA VARIABLE.

c).Sea P(X): 2X+1>5 y el dominio Z, determina el valor de verdad de P(4) y P(-3)

Solution : · Si X: 4 P(4): 2(4)+1>5 - VRAI

9>5

· Si X:-3 P(-3) : 2(-3) + 1 > 5 - FAUX

-5>5

d).Soit : p(x) : x+5=12 ; où si nous remplaçons x par 3, l'expression est fausse ; si

nous remplaçons x par 7, l'expression est vraie. Nous écrivons ceci comme suit :
 ● p(3) : 3+5=12 est faux
● p(x): 7+5=12 est vraie.

Quantificateurs

Les quantificateurs sont des symboles qui sont utilisés dans les mentions.
contextes pour pouvoir indiquer combien ou les types d'éléments qui s'intègrent
un ensemble donné et qui satisfait à une certaine propriété.
Les énoncés dans lesquels se présentent des expressions telles que quelques (ou
existe ou il y a), tout (ou toujours ou chaque) sont appelés quantificateurs existentiels (ou
particulier) et quantificateur universel (ou référentiel), respectivement.
Exemple d'énoncés quantifiés : Il y a des arbres, tous sont des arbres, certains
nombres, ce sont toujours des nombres, certains arbres sont exploitables, tous les arbres
il y a des arbres à bois qui ont des fleurs, les arbres à bois
ils ont des fleurs.

Quantificateur universel ou référentiel

C'est toute fonction propositionnelle précédée du préfixe « Pour Tout », qui est
dénoté par : . ∀
Les énoncés de la forme : pour tout, toujours ou n'importe quel sont appelés
énoncés universels ou référentiels. Pour les traduire, on utilise ce qu'on appelle
quantificateur universel.
Par exemple : ∀ x ∈ R x:2≥ 0
On lit : « Pour tout x appartenant aux réels, x au carré est supérieur ou égal à »
zéro
Soit A une expression et soit x une variable. Si nous souhaitons indiquer que A est vrai pour tous
les valeurs possibles de x, nous écrirons (∀x) A.
(∀x) est un quantificateur universel
• A est le domaine (portée) du quantificateur.
Le symbole ∀ se lit « pour tout ».

Interprétation du quantificateur universel à partir de la conjonction

Considérons une forme propositionnelle a(x) où x U =∈{ x1❑ , 2x,..., , xn}

remplacer l'indéterminée x par un élément xje ∈Nous obtiendrons une proposition
a( xje) qui peut être vrai ou faux. Si nous prenons toutes les xvaleurs 1❑ , 2x,..., , xn ∈

U, la conjonction a( x)1^ a(2) ^x... ^ a( ) seraxvraie n uniquement si chacune

des propositions a ( x)1❑, a ( x¿ ¿2) ,...,¿ , a( x¿n , qui interviennent dans la conjonction
est vraie. Dans ce cas, la conjonction a( ) ^ a( x12) ^ ... ^xa( ) signifieraxnque
pour tout xi ÎU est ( ) i a x une proposition vraie. Cela sera symbolisé par (
∀x∈∪¿ [ a(x) ]pour tout x U se cumple ∈ a(x) ”. Le symbole " se lit pour
tout" et il s'appelle quantificateur universel. Puisque la forme propositionnelle a(x) a
comme seule variable x, l'expression quantifiée ( ∀x∈∪¿ [ a(x) ] c'est une proposition.
Bien que l'introduction de ce quantificateur ait été faite à partir d'un ensemble
universal finito, reste valide lorsque l'univers est un ensemble infini, dans
cuyo cas nous sommes devant une conjonction des propositions infinies qui se
ils obtiennent en remplaçant l'indéterminée par chacun des éléments de l'ensemble
universel considéré. En ce sens, il convient de souligner que pour représenter le
Le quantificateur universel peut également être utilisé au lieu ∀de «
majuscule de la conjonction “ ∧” comme le fait Kuratowski, K. (1966).

Exemples :

a). Exprimer "tous les chats ont une queue" en calcul des prédicats.
Solution :
Hésitez d'abord la portée du quantificateur universel, qui est « Si x est un chat,
alors x a une queue" et est défini comme
Gx ↔ x est un chat
Cx ↔ x a une queue∴
(∀x) Gx → Cx

b). Chaque nombre positif est supérieur à zéro

1 est un nombre positif
3 est un nombre positif
Par conséquent, 1 et 3 sont supérieurs à zéro. On définit : Px ↔ x est un nombre positif

c). les énoncés

Tous sont des légumes

2. N'importe quelle fleur
3. .Ils sont toujours des animaux
son référentiels ou universels.

Pour symboliser, les prédicats sont déterminés logiquement de la manière suivante :

être végétal
être fleur
A: être animal
Symboliquement, les énoncés se présentent comme suit :

( ∀x¿(Vx) et se lit : pour tout x, x est un végétal ; tout x, x est un végétal ou

toujours x est un légume.

( ∀x¿( Fx) et on lit : pour tout x, x est une fleur ; n'importe quel x, x est une fleur ou toujours x est
une fleur.

( ∀x¿( Ax)et cela se lit : pour tout x, x est un animal ; n'importe quel x, x est un animal ou toujours
x est un animal.

Exercices :

1). Mentionnez la valeur de vérité de chacune des propositions suivantes :

1. Toutes les personnes n'ont pas le temps de consacrer à l'entretien de leurs

autos. (Faux, certaines personnes)
2. Tout nombre naturel est un entier. (Vrai)
3. Tous les nombres premiers sont impairs. (Faux, 2 n'est pas impair mais c'est un nombre premier)
4. Tous les nombres impairs sont des premiers. (Faux, 15, 21, 25 sont impairs mais ne le sont pas)
son cousins)
5. Certains nombres rationnels sont des entiers. (Vrai)

2). Antéposer les quantificateurs correspondants dans les fonctions suivantes

propositionnelles, afin que chacune soit vraie (x représente un nombre
réel)

2
a)−25=(x−5).(x+5)
x

b) x2+4=0

c) x+2>x

Toutes les fourmis sont des insectes.

Pour tout x, si x est fourmi alors x est insecte

Que peut-on symboliser de la manière suivante : ( ∀x¿ ¿→ I x )
Où Hx symbolise l'expression : "x est une fourmi", et Ix symbolise l'expression "x est
insecte.

4). Écrivez les propositions suivantes sous forme symbolique

a) Si x est pair, alors x n'est pas divisible par 5

b) Aucun entier pair n'est divisible par 5
c) Si x est pair et un carré parfait, alors x est divisible par 4
Solution :
a) ∀x[q(x) → ¬t(x)]
b) ∀x[q(x) → ¬t(x)]
c) ∀x[(q(x)∧r(x)) → s(x)]

4.1). Déterminez si chacune des trois propositions du paragraphe précédent est

vrai ou faux. Pour chaque proposition fausse, donnez un contre-exemple.

Solution :
a) C'est faux, il suffit de prendre les multiples de 10
b) C'est la même que dans le paragraphe précédent
c) C'est vrai

Quantificateur existentiel
À la différence du quantificateur universel, le quantificateur existentiel transforme une
fonction propositionnelle à une variable propositionnelle de telle manière que au moins
il existe un élément de la variable-sujet (au moins un élément de l'ensemble)
qui remplit une propriété déterminée.

Ce type de propositions a la même forme que le quantificateur universel en

combien d'écriture et peut-on écrire de la même manière :
Quantificateur existentiel + fonction propositionnelle = variable propositionnelle

Dans le langage des prédicats en logique mathématique, on utilise le symbole : ∃ , appelé

quantificateur existentiel, placé devant une variable pour dire qu'il "existe au moins" un
élément de l'ensemble, B, auquel fait référence la variable, qui remplit la
proposition écrite ci-dessous.
∃∈B
Il existe x qui appartient à B.
Exemples :

a). ∃x: x es un nombre primo.

Si nous éliminons la variable x, nous pourrions dire « il existe au moins un nombre premier »
Naturellement, cette proposition est vraie.

b). Soit l'ensemble A= {1 , 6 . 8 , 1 7} où

∃ x ∈ A : xest un multiple de 3.

Cette proposition nous dit qu'il existe au moins un x ∈ A que est multiple de 3,
cette proposition est vraie car il existe un élément de l'ensemble A qui est
∈
multiple de 3 et c'est 6 A.

c). Si nous avons deux ensembles différents A et B, et A est un sous-ensemble de B

A ⊂ B ∧ A ≠ B ∧ AØ ≠
il existe au moins un élément x de B qui appartient à A
∃x∈B∧x∈A
En affirmant qu'il existe au moins un x qui appartient à B et appartient à A, cela veut dire
que tous les éléments de B n'appartiennent pas à A et que A et B sont des ensembles distincts, il existe au
moins un élément "y" de B qui n'appartient pas à A
∃y∈B∧y∉A
que nous pouvons lire : il existe au moins un élément 'y' dans B, et cet élément 'y' ne
appartient à A.

Négation d'un quantificateur

La négation de quiconque des quantificateurs se fait en niant la fonction

propositionnel p(x) et en changeant le quantificateur universel par le quantificateur
existentiel, ou vice versa. Ainsi :

Proposition Négation

Existentiel ∃(existe) ∀

Universel ∀( paratout) ∃

Quelques Aucun

Aucun Certains
 Tous Certains non

Certains non.. Tous

Exemples :
a). Écrivez la négation de chacun des énoncés suivants :
Tous les nombres sont des entiers.
Négation : Certains nombres ne sont pas entiers.
2. Aucun de mes collègues n'est étranger.
Négation : Certains de mes collègues sont étrangers.

Tous les entiers sont impairs

● Soit le domaine Z et la fonction propositionnelle p(x) : x est un nombre impair.
● Nous symbolisons par le quantificateur universel ∀x∈Z :, p( x )
¬ [ ∀x∈Z
● Nous nions le quantificateur universel : ,p( x) ]≡∃x∈Z/¬p( x )
● Nous interprétons : Il existe au moins un nombre entier x qui n'est pas impair.

Étant donnée une fonction propositionnelle, telle que : p(x), alors si cette fonction
la proposition est quantifiée et est niée, alors la suivante est vérifiée
égalité
-[ ∀x∈A:p(x ) ] ≡ ∃ x ∈ A : −p (x)

Pour nier une énoncé quantifié, il suffit de changer le quantificateur et de nier la

durabilité ou prédicat. Dans la négation du prédicat, il faudra utiliser les lois
de l'algèbre propositionnelle.

Maintenant, nous allons voir la négation des quantificateurs d'une fonction propositionnelle a(x).
∈ }.
par son ensemble de vérité A = { x U : a(x)

(i) Nous savons que ∀ ∈ ( x U) [a(x)] est équivalent à A = U. En conséquence, ¬¿ U)

[a(x)] équivalent à A U,≠ ce qui est équivalent à A U', 'c'est-à-dire
≠ A' Ø, ≠ce qui
équivaut à ( ∃x U)
∈ ¬∀ ¬∃ ∈Ensuite : ( x U) [a(x)]
[ a(x)]. ∈ ( x U)⇔[ a(x)]. ¬

∃ que
(ii) Nous avons vu ∈ ( x U) [a(x)] est équivalent ≠
à A Ø . En conséquence,¬∃ ( x∈
U) [a(x)]
équivalent à A ≠ ∪ ,≠ce
∪ ' qui est équivalent à A’ , c'est-à-dire,≠A’ Ø, ce qui équivaut
a (∃x ∈ ¬
U) [ a(x)]. En conséquence: ( x ¬∃ ∈
U) [a(x)] ⇔ ( ∀x∈U) ¬[ a(x)].

La négation des quantificateurs d'une fonction propositionnelle est autre

quantificateur de la même fonction propositionnelle niée, mais l'intéressant ici est
qu'une relation d'équivalence est créée entre un quantified universel et un
le quantificateur existentiel, en effet, ce sont des propositions de valeurs opposées.

Soit la fonction propositionnelle suivante :

● p(x): x est un animal qui a une queue.

Par conséquent, la proposition∀x:p( x ) elle est logiquement fausse, je pense que je n'ai pas besoin d'expliquer
le pourquoi, pour corriger cela, nous le nions simplement, cela donnerait ainsi :

● ¬ [ ∀x:p( x ) ]

Sa lecture est :

● Il n'est pas vrai que pour tout x, x est un animal qui a une queue.

Exercice

Déterminer la négation de chacun des énoncés suivants en symboles et en

mots
A. Certains étudiants ne font pas attention en classe.
B. Il y a des étudiants qui prêtent attention en classe.
C. Aucun étudiant n'attend l'attention en classe.

Alors, on considère la symbolisation suivante :

P(x) : x prête attention en classe.

A. Certains étudiants ne prêtent pas attention en classe.

Négation en mots : Tous les étudiants prêtent attention au cours.
Symbolisation :∃x(¬p(x))
Négation ¬ [∃ x (¬p(x)) ] ≡∀xp(x )
B. Il y a des étudiants qui font attention en classe.
Négation en mots : Tous les étudiants ne prêtent pas attention en classe.
Symbolisation :∃ x p (x)
Négation : ¬ [∃ x p (x)] ≡ ∀ x [¬p(x) ]

C. Aucun étudiant n'attend d'attention en classe.

Négation en mots : Certains élèves prêtent attention en classe.
Symbolisation :∀x( ¬p(x ))
Négation ¬ [ ∀x(¬p(x9)) ] ≡ ∃ x p (X )
Bibliographie

● Url non traduisible

quantificateurs
● Invalid input. Please provide the text you need translated.
[Link]?w=384&q=90
● [Link]
[Link]
● Invalid input. Please provide text for translation.
● URL provided does not contain text to translate.
● Le texte donné est un lien et ne contient pas de contenu à traduire.
domaine-de-vérité
● [Link]
Éthique mathématique Alfonso Burgos