Logique Mathematique

[mking94]

Bonjour
Merci de me donner la correction de cette exercice

Exercice:
1.Soient les proposition suivant:P "J'ai mon permis de conduire" et Q:"J'ai plus que 18 ans".
a)Les proposition P→Q et Q→P sont'elles vraies?
b)Que peut-on conclure?
2.Soit Q la quantificateur suivant : ∀x∈ℜ,∃n∈N,n≥x.
Ecrire la negation avec des quantificateur puis l'enoncer en francais.

[mtschoon]

Bonjour,

Ici, on ne donne pas "la correction d'un exercice" .
On aide le demandeur à trouver la solution.

Pistes,

Pour le 1), réfléchis aux propositions suivantes :

"J'ai mon permis de conduire" donc "J'ai plus que 18 ans"

Cette proposition te semble-telle vraie ?

"J'ai plus que 18 ans" donc "J'ai mon permis de conduire"

Cette proposition te semble-telle vraie ?

La conclusion dépendra de ce que tu as répondu à ces deux questions

Pour la 2)

La négation de $\forall$ est $\exists$
La négation de $\exists$ est $\forall$
La négation de ≥ est <

Tiens nous au courant de tes réponses si tu as besoin de vérifications.

[mtschoon]

Je t'indique des résultats pour te permettre de vérifier les tiens

1. P→Q Vrai

Q→P Faux

Conclusion : propositions non équivalentes.

2. Négation :

$\exists x\in r,\forall n\in n,n<x$

A mettre en français.

Bon travail !