نفي قنط كلي

Intermédiaire
Partager

Énoncé

بين أن ¬(x {1, 2, 3}, P(x)) تكافئ x {1, 2, 3}, ¬P(x).

إرشادات

— انقر للكشف
1 الإرشاد 1
Commence par traduire en français ce que signifie ¬($\forall$x $\in$ {1, 2, 3}, P(x)). Que veut dire « il est faux que P(x) soit vraie pour tous les x » ?
2 الإرشاد 2
Si P(x) n'est pas vraie pour tous les x de l'ensemble, alors il doit exister au moins un x pour lequel P(x) est fausse. Comment écrire cela avec un quantificateur existentiel ?

Bloqué sur cet exercice ?

Prof Hicham peut t'expliquer pas à pas, en s'adaptant à ton niveau.

Demander à Prof Hicham

الطريقة — من أين نبدأ

Commence par traduire en français ce que signifie ¬(x {1, 2, 3}, P(x)). Que veut dire « il est faux que P(x) soit vraie pour tous les x » ?

Si P(x) n'est pas vraie pour tous les x de l'ensemble, alors il doit exister au moins un x pour lequel P(x) est fausse. Comment écrire cela avec un quantificateur existentiel ?

التصحيح المفصّل خطوة بخطوة أسفله.

Exercice Terminé? 🎉

Validez votre réponse pour enregistrer votre progression et gagner des points

تكافؤ: القطار الرباط-فاس كل تمارين الدرس قيمة الصدق: المطر بمراكش