Inscription / Connexion Nouveau Sujet
Niveau Préparation CRPE
Partager :

Logique

Posté par
bouchaib
01-06-24 à 13:03

Bonjour,
  
   Question s'il vous plaît,
  Écriver la proposition suivante en utilisant les symboles logiques  :

      (P): " si un nombre réel  est inférieur au  ou égal à -1  alors il est strictement négatif ".

   Ma réponse :
      Si  x\leq -1 \Rightarrow x\prec 0.
    
    Ai-je le droit d'écrire  comme  autre réponse :

  (\forall x\in R) , x\leq -1 \Rightarrow x\prec 0.
Merci par avance.

Posté par
carpediem
re : Logique 01-06-24 à 14:14

salut

dans la première il n'y a pas besoin du si

oui pour la deuxième réponse

Posté par
bouchaib
re : Logique 01-06-24 à 14:27

Merci beaucoup  .

Posté par
Ulmiere
re : Logique 01-06-24 à 15:26

La première est fausse même sans le "si", il manque un quantificateur pour introduire la variable x.

Une autre solution serait "\forall x\in(-\infty,-1], x < 0" pour traduire l'inclusion (-\infty,-1]\subset\R_-

Posté par
bouchaib
re : Logique 01-06-24 à 15:41

Merci .
Le quanticateur   ne convient pas donc  surtout suivi de x<= -1.

Posté par
GBZM
re : Logique 01-06-24 à 16:23

Bonjour,
Que veux-tu dire par "Le quanticateur   ne convient pas" ?
Il convient très bien :

\Large \forall x \leq -1\quad x<0

Posté par
bouchaib
re : Logique 01-06-24 à 17:04

Merci .
Ici ce quantification est collé à la première proposition de l'implication.  

Posté par
bouchaib
re : Logique 01-06-24 à 17:05

Quantificateur.  Pardon.

Posté par
GBZM
re : Logique 01-06-24 à 18:33

Et alors ?
\Large \forall\ x\leq -1\quad x<0  est juste une abréviation pour \Large \forall\ x\ (x\leq -1\implies x<0).

Posté par
bouchaib
re : Logique 01-06-24 à 19:37

Je comprends .
Merci à vous tous .



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !