Partage
  • Partager sur Facebook
  • Partager sur Twitter

logique propositionnelle

demande de démonstration

Sujet résolu
13 août 2011 à 10:09:42

"a" est une constante.
si on à (a>0 ou 3<a) alors
on a 3<a.

La question est très simple :( , mais je ne trouve pas d'explication :euh: , j'avoue reprendre les maths depuis peu et je tâtonne sur beaucoup de sujet.
Merci d'avance pour la réponse...
  • Partager sur Facebook
  • Partager sur Twitter
13 août 2011 à 10:41:39

Heu ça m'a l'air faux si je prends a=1 par exemple.
Par contre il est vrai que a<0 ou a<3 implique a<3 par transitivité (0<3).
  • Partager sur Facebook
  • Partager sur Twitter
13 août 2011 à 10:59:13

Je t explique plus en detail l'énoncé:
soit a une constant réelle. Notons respectivement P,Q,et R les propositions
"a>0","a<-3","3<a".
P ET(Q OU R) est la proposition :
(a>0)ET(a<-3 OU 3<a)
c'est à dire:
"(a>0 ET a<-3) OU (a>0 ET 3<a), soit "F OU(a>0 ET 3<a)".
Donc P ET (Q OU R)= "3<a".
  • Partager sur Facebook
  • Partager sur Twitter
Anonyme
13 août 2011 à 11:13:26

Citation : john-alain

(a>0 ou 3<a)



Citation : john-alain

a>0 ET 3<a


Ce n'est pas la même chose et change tout.

Edit: erreur donc je laisse rushia répondre ci-dessous
  • Partager sur Facebook
  • Partager sur Twitter
13 août 2011 à 11:19:38

C'est 3<a, pas a<3.
Comme a>3 et 3>0, on a a>3>0 donc a>0 par conséquent, la condition a>0 ne rajoute rien à la condition a>3 dans le cas d'un ET donc on s'en débarrasse.
  • Partager sur Facebook
  • Partager sur Twitter
13 août 2011 à 12:49:31


= a appartient à ]0,+∞[ ∩ ]3;+∞[
=]3;∞[
Zmath avait raison dans ça démonstration à un ensemble prés avant qu'il efface ca réponse bien sur. Merci a tous pour votre coopération
  • Partager sur Facebook
  • Partager sur Twitter