Aide pour les futurs mathématiciens
 
AccueilAccueil  PortailPortail  FAQFAQ  RechercherRechercher  S'enregistrerS'enregistrer  Connexion  

Partagez | 
 

 Exercices de logique:

Voir le sujet précédent Voir le sujet suivant Aller en bas 
AuteurMessage
nmo
Expert sup


Masculin Nombre de messages : 2221
Age : 23
Localisation : Elgara
Date d'inscription : 29/10/2009

MessageSujet: Exercices de logique:   Mar 28 Sep 2010, 09:16

Il s'agit d'une leçon, qui, par la complexité, la quantité et la qualité des exercices, impressionne.
J'aime vous partager des exercices qui sont un peu ambigus:
1/Que pensez vous de la proposition suivante:
.
2/Les deux propositions suivantes ont-elles le même sens:
.
Et .
Bonne chance.
Revenir en haut Aller en bas
nmo
Expert sup


Masculin Nombre de messages : 2221
Age : 23
Localisation : Elgara
Date d'inscription : 29/10/2009

MessageSujet: Re: Exercices de logique:   Ven 01 Oct 2010, 12:19

J'attends encore des solutions et j'aime que je ne me déçois pas.
Et j'ajoute:
E est un ensemble non vide.
Donnez un exemple, où l'implication suivante sera fause:
.
Bonne chance.
Revenir en haut Aller en bas
M.Marjani
Expert sup


Masculin Nombre de messages : 1665
Age : 22
Date d'inscription : 05/03/2010

MessageSujet: Re: Exercices de logique:   Ven 01 Oct 2010, 18:11

1/ (P):

On peut mettre x equiv 5 car il s'agit de tout les réels. Alors la négation de (P) est:

(Celà est juste par le tableau de la vérité)

Si x est impair alors x+1 pair ==> donc x=x+1 est Absurde.
Si x est pair alors x+1 est impair ==> donc x=x+1 est absurde.

On déduit que (P(barre)) est fausse, d'ou (p) est juste.

CQFD.

2/ Cette déducation je l'ai déjà remarqué dans un sujet crée par toi cher nmo, qui parle des quantificateurs.

(P1) et (P2) ont le méme sens ça veut dire que (P1) <=> (P2). Par le tableau des signes, cette équivalence est juste si et si que (P1) et (P2) sont justes ou fausses tous les deux en méme temps !

On prend par exemple A(x,y) : x > y.

On a est juste.
Mais:

Celà n'est pas juste pour tout IR, on prend par contre exemple: y=1 alors pour tout x £ IR on aura x>1 alors çelà est faux pour tout x=<1.

On déduit que les deux propositions n'ont pas le méme sens ! mais plutot (P2) => (P1). On déduit que l'ordre de quantificateurs est trés important !
Revenir en haut Aller en bas
najwa44
Féru


Féminin Nombre de messages : 41
Age : 21
Date d'inscription : 16/07/2010

MessageSujet: Re: Exercices de logique:   Sam 02 Oct 2010, 10:34

M.Marjani a écrit:
1/ (P):

On peut mettre x equiv 5 car il s'agit de tout les réels. Alors la négation de (P) est:

[...]

Si x est impair alors x+1 pair ==> donc x=x+1 est Absurde.
Si x est pair alors x+1 est impair ==> donc x=x+1 est absurde.


Je n'est pas bien compris.. x est un réel, pas forcement un entier.. non?!
Revenir en haut Aller en bas
kirua
Expert sup


Masculin Nombre de messages : 647
Age : 23
Date d'inscription : 03/10/2008

MessageSujet: Re: Exercices de logique:   Sam 02 Oct 2010, 11:24

Bonjour all
nmo c'est quoi le logiciel que tu utilise pour écrire les formule de maths plz ?
Revenir en haut Aller en bas
M.Marjani
Expert sup


Masculin Nombre de messages : 1665
Age : 22
Date d'inscription : 05/03/2010

MessageSujet: Re: Exercices de logique:   Sam 02 Oct 2010, 13:47

@Kirua: http://www.codecogs.com/latex/eqneditor.php

najwa44 a écrit:
M.Marjani a écrit:
1/ (P):

On peut mettre x equiv 5 car il s'agit de tout les réels. Alors la négation de (P) est:

[...]

Si x est impair alors x+1 pair ==> donc x=x+1 est Absurde.
Si x est pair alors x+1 est impair ==> donc x=x+1 est absurde.


Je n'est pas bien compris.. x est un réel, pas forcement un entier.. non?!

J'ai mis x=5 ... x appartient à IN plutot..

-----------------------------------------------------------------------------------------------------------------------------

Pour le troisiéme exercise, je vois que (P) => (Q) ET (R) , pour trouver un contre exemple sur la faussté de cette dérniere, il faut que (Q) Ou (R) soit indépendante de (Q) ! C'est necessaire, sinon l'exo devient trivial, car qu'on tu vas supposer A(x) ou B(x) fausse ça veut dire que (P) est fausse donc l'implication sera toujours juste.
Alors on cherche un contre exemple oû (Q) ou (R) soit l'un des deux faux mais (P) reste toujours juste ! Ce qui devient façile ^^
Revenir en haut Aller en bas
nmo
Expert sup


Masculin Nombre de messages : 2221
Age : 23
Localisation : Elgara
Date d'inscription : 29/10/2009

MessageSujet: Re: Exercices de logique:   Mar 05 Oct 2010, 09:58

M.Marjani a écrit:
1/ (P):
On peut mettre x equiv 5 car il s'agit de tout les réels. Alors la négation de (P) est:
(Celà est juste par le tableau de la vérité)
Si x est impair alors x+1 pair ==> donc x=x+1 est Absurde.
Si x est pair alors x+1 est impair ==> donc x=x+1 est absurde.
On déduit que (P(barre)) est fausse, d'ou (p) est juste.
CQFD.
P est juste, mais ta démonstration est plutôt fausse, car tu confonds le x réél avec le x naturel.
M.Marjani a écrit:
Mais:
Pourquoi cette équivalence est juste?
Revenir en haut Aller en bas
M.Marjani
Expert sup


Masculin Nombre de messages : 1665
Age : 22
Date d'inscription : 05/03/2010

MessageSujet: Re: Exercices de logique:   Mar 05 Oct 2010, 11:56

nmo a écrit:
M.Marjani a écrit:
1/ (P):
On peut mettre x equiv 5 car il s'agit de tout les réels. Alors la négation de (P) est:
(Celà est juste par le tableau de la vérité)
Si n est impair alors n+1 pair ==> donc n=n+1 est Absurde.
Si n est pair alors n+1 est impair ==> donc n=n+1 est absurde.
On déduit que (P(barre)) est fausse, d'ou (p) est juste.
CQFD.
P est juste, mais ta démonstration est plutôt fausse, car tu confonds le x réél avec le x naturel.
M.Marjani a écrit:
Mais:
Pourquoi cette équivalence est juste?

Ce que je demande, est pourquoi ce x£IR et qu'il n'existe pas dans l'énoncé ?! C'est plutot l'énoncé qui est fausse cher nmo car x est déclaré et n'est pas utilisé donc il n'a aucun sens. Il faut plutot dire que pour tout les réels (L'ensemble IR) 5 est différent de 6, ce qui est difficile à l'écrire avec les quantificateurs.

L'énoncé fausse , ma démonstration est fausse, donc l'équivalence est juste d'ou ma réponse est juste. XD

Pour la deuxiéme remarque: c'est ce que je pense. Car l'organisement des quantificateurs est important, et on commence par ce qui est en gauche toujours ( Si je ne me trompe pas ).
Revenir en haut Aller en bas
Contenu sponsorisé




MessageSujet: Re: Exercices de logique:   Aujourd'hui à 10:13

Revenir en haut Aller en bas
 
Exercices de logique:
Voir le sujet précédent Voir le sujet suivant Revenir en haut 
Page 1 sur 1
 Sujets similaires
-
» Aide sur deux exercices de logique
» Préparation à la première SM (La logique)
» Exercices (La logique+Le binôme de Newten):
» Petits exos de logique pour les premières !
» Exercices logique combinatoire

Permission de ce forum:Vous ne pouvez pas répondre aux sujets dans ce forum
Forum des amateurs de maths :: Lycée :: Première-
Sauter vers: