L1 Algèbre Logique, ensemble, raisonnement Prépa MPSI · MP2IPrépa PCSIPrépa PTSIPrépa BCPST 7 questions

exo7 117

Comparer les différentes phrases (sont-elles équivalentes, contraires, quelles sont celles qui impliquent les autres...)

1

(∀x)(∃y)/(x≤y)(\forall x) (\exists y)/ (x \leq y).

2

(∀x)(∀y)(x≤y)(\forall x) (\forall y) (x \leq y).

3

(∃x)(∃y)/(x≤y)(\exists x) (\exists y)/(x \leq y).

4

(∃x)/(∀y)(x≤y)(\exists x)/(\forall y) (x \leq y).

5

(∃x)/(∀y)(y<x)(\exists x)/(\forall y) (y<x).

6

(∃x)(∃y)/(y<x)(\exists x) (\exists y)/ (y<x).

7

(∀x)(∃y)/(x=y)(\forall x) (\exists y)/(x = y).

Exercice sB2H

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?