1: Notion proposition.

( ce rfr au livre de logique)

A retenir : Une proposition est un nonc dont on peut dire qu'il est vrai ou faux (valeur de vrit) Une proposition se dfini par le fait de lui attribuer une valeur de vrit selon 3 principes : 1) Une proposition ne peut prendre une valeur autre que vrai ou faux.(principe du tiers-exclu). 2) Une proposition ne peut tre la fois vrai ou fausse.(principe de non contradiction). 3) Une proposition conserve sa valeur de verit.

2: Oprations logiques.
La ngation.
La ngation d'une proposition appele P est not comme non P . Ex : J'ai mang une pomme(proposition P). Je n'ai pas mang une pomme ( proposition non P). La ngation d'une proposition vrai est forcement fausse. Mais si la proposition de dpart est fausse,alors la ngation est vrai. Ex : 1)Je mange une pomme : Si je dit aprs que j'ai mang une pomme , ce que j'ai dit est vrai. Si je dit la ngation, Je n'ai pas mang une pomme, ce que je dit est faux. 2)Je ne mange pas une pomme : Si je dit que j'ai mang une pomme , ce que j'ai dit est faux. Si je dit la ngation , Je n'ai pas mang une pomme, ce que je dit est vrai.
Donc les exemple prouve bien que la ngation d'une proposition vrai est fausse. Et que la ngation d'une proposition fausse est vrai. Il existe des ngations plus complique qui seront expliquer ultrieurement.

La conjonction.
La conjonction est un assemblage de deux proposition ( P et Q par exemple) par le mot Et ,note P et Q Ex : P : je mange une pomme. Q : je bois de l'eau. Conjonction de P,Q : je mange une pomme et je bois de l'eau. Une conjonction est vrai que si les deux proposition de dpart sont vrai. Dans les autre cas, la conjonction est fausse. Table de vrit : P Q VRAI VRAI VRAI FAUX FAUX FAUX VRAI FAUX

P et Q VRAI FAUX FAUX FAUX

La disjonction.
Pareil que pour la conjonction mais avec le mot ou ,note P ou Q Ex : P :je mange une pomme. Q:je bois de l'eau. Disjonction : je mange une pomme ou je bois de l'eau. Une disjonction est vrai dans tout les cas sauf lorsque les deux propositions sont fausse. Table de vrit : P Q VRAI VRAI VRAI FAUX FAUX VRAI FAUX FAUX

P ou Q VRAI VRAI VRAI FAUX

Un conjonction demande que les deux propositions soit vrai pour tre vrai. La disjonction,elle, demande qu'au moins une des deux proposition soit vraie.

Ngation d'une conjonction et d'une disjonction. -Conjonction : La ngation d'une conjonction ( P et Q) est une ngation des deux propositions et le remplacement du mot et par ou . Cela donne nonP ou nonQ . Ex : Je mange une pomme et je bois de l'eau devient Je ne mange pas une pomme ou je ne bois pas de l'eau.
la ngation de la conjonction dans l'exemple revient dire qu' il y a de tout manire au moins 1 des 2 propositions que je ne fait pas. Et si il y a au moins 1 que je ne fait pas, alors elle dit bien le contraire de la conjonction qui dit que je fait les deux. On peut le prouver par une table de vrit : P Q nonP nonQ P et Q VRAI VRAI FAUX VRAI FAUX VRAI FAUX VRAI FAUX FAUX VRAI FAUX FAUX FAUX VRAI

non(P et Q) FAUX VRAI VRAI

nonP ou nonQ FAUX VRAI VRAI

FAUX FAUX VRAI VRAI FAUX VRAI VRAI Les colonnes 5 et 7sont en contradiction donc nonP ou nonQ est bien la ngation de P et Q . Se qui est vrai car si on regarde la colonne 6 ,non(P et Q),qui veut dire la ngation de (P et Q),elle est identique a la dernire colonne. Ce qui prouve une deuxime fois que nonP ou non Q est la ngation de P et Q (non(p et Q)).

-Disjonction : La ngation d'une disjonction (P ou Q) est une ngation des deux propositions et le remplacement du mot ou par et .Cela donne nonP et non Q . Ex : je mange une pomme ou je bois de l'eau devient je ne mange pas une pomme et je ne bois pas d'eau.
La ngation de la disjonction dans l'exemple revient dire que je fait aucune des deux propositions. Et si j'en fait aucune, alors sa dit bien le contraire de la disjonction qui elle dit qu'il y a au moins un des deux que je fait.

On peut prouver cela par une table de vrit : P Q nonP nonQ P ou Q non(P ou Q) nonP et nonQ VRAI VRAI FAUX FAUX VRAI FAUX FAUX VRAI FAUX FAUX VRAI VRAI FAUX FAUX FAUX VRAI VRAI FAUX VRAI FAUX FAUX FAUX FAUX VRAI VRAI FAUX VRAI VRAI
Les colonne 5 et 7 sont en contradiction et les colonnes 6(qui veut dire ngation de P ou Q )et 7 sont pareil donc j'ai bien prouver deux fois que la ngation de P ou Q est nonP et nonQ .

L'implication.
Une implication de deux proposition (P,Q) est note P Q . On peut traduire l'implication par si...,alors.... . Ex : P : j'ai gagn au loto Q : je donnerai de l'argent au pauvre. Implication : Si j'ai gagn au loto, alors je donnerai de l'argent au pauvre. Une implication est dite fausse si la deuxime propositions est fausse alors que la premire est vrai. Dans les autre cas l'implication est vraie. Ex : Si j'ai gagn au loto, alors je donnerai de l'argent au pauvre. -Si j'ai vraiment gagn mais que je n'ai rien donner cela veut dire que la proposition est fausse car la consquence (je donne) par rapport a la cause ( je gagne) n'a pas t effectue. -Si j'ai pas gagn mais que je donne quand mme la consquence a t effectu, elle n'a juste pas t effectu par la cause je gagne . -Si j'ai gagn et que je donne, la proposition est vrai aussi. -Si j'ai pas gagn et que je donne pas, alors l'implication est vrai car je n'ai juste pas pu donner parce que j'ai pas gagn. ce qui ne contredit pas ma phrase de dpart. La phrase dit que je donne seulement si j'ai gagn donc sa veut dire aussi que si j'ai pas gagn , alors je donne pas.

Table de vrit d'une implication : P Q PQ VRAI VRAI VRAI VRAI FAUX FAUX FAUX VRAI VRAI FAUX FAUX VRAI

Ngation de l'implication :
la ngation d'un implication est note (P et (nonQ)). Ex : Si j'ai gagn au loto,alors je donne de l'argent au pauvre. Ngation : j'ai gagn au loto et je ne donne pas d'argent au pauvre.
La ngation dit que je gagne mais je ne donne pas se qui est contradictoire a l'implication de dpart.

On peut le prouver par tableau de vrit : P Q nonQ PQ VRAI VRAI FAUX VRAI VRAI FAUX VRAI FAUX FAUX VRAI FAUX VRAI FAUX FAUX VRAI VRAI

non(PQ) P et (nonQ) FAUX FAUX VRAI VRAI FAUX FAUX FAUX FAUX

Les colonnes 5 et 7 sont contradictoire et la colonne 6(qui veut dire la ngation de PQ )et identique a la 7 me colonne qui est la ngation que l'on cherchait a prouver. Donc on a prouver par deux fois que P et (nonQ) est la ngation de PQ .

La rciproque d'une implication :

La rciproque d'une implication (PQ),c'est juste une implication avec les proposition inverse. C'est dire QP. Ex : Si j'ai gagn au loto,alors je donne de l'argent au pauvre devient Si je donne de l'argent au pauvre, alors j'ai gagn au loto.
Attention : une implication et sa rciproque n'ont pas toujours la mme valeur de vrit.(cela veut dire que c'est pas obligatoirement vrai ou faux pour les deux,sa peut tre vrai pour l'implication mais faux pour la rciproque).

L'quivalence.
Il y a une quivalence ()seulement si la valeur de vrit d'une implication et sa rciproque revienne au mme. Ex : si on prend l'exemple donne dans l'explication de la rciproque on voit bien que l'implication et la rciproque sont quivalente. L'quivalente dit que si je donne ,alors sa veut dire que j'ai gagn ce qui revient au mme de dire que si je gagne alors je donne.
L'quivalence et la seulement si la proposition P et la proposition Q sont toute les deux vraies ou toute les deux fausses. Montrons le par tableau de vrit : P Q PQ VRAI VRAI FAUX VRAI FAUX VRAI VRAI FAUX VRAI

QP VRAI VRAI FAUX

PQ Il y a quivalence Il ny a pas quivalence Il ny a pas quivalence

FAUX FAUX VRAI VRAI Il y a quivalence L'quivalence se retrouve que lorsque les deux proposition(P,Q) de l'implication et de la rciproque ont la mme valeur de vrit(soit faux et faux soit vrai et vrai).Lorsque les proposition P,Q ont pas la mme valeur de vrit (faux ou vrai) leur implication et la rciproque de l'implication ne sont pas quivalente. Ce qui confirme bien se que j'ai dit plus haut.

La contraposition d'une implication.

La contraposition d'une implication,c'est la rciproque mais en rajoutant la ngation au proposition de dpart. Ex : Si j'ai gagn au loto,alors je donne de l'argent au pauvre devient Si je ne donne pas d'argent au pauvre,alors je n'ai pas gagn au loto.
Autrement dit la contrapose d'une implication (PQ) est nonQnonP . Les ngations de la conjonction,de la disjonction sont appele rgle de Morgan. non(P et Q) (nonP) ou (nonQ). (ngation de conjonction) non(P ou Q) (nonP) et (nonQ). (ngation de disjonction) Les quivalence entre les deux ont t prouve par la table de vrit que j'ai faite dans la ngation de la conjonction et disjonction.

La ngation d'une implication : non(PQ) P et (nonQ). Cette ngation a t prouve dans la ngation de l'implication. On dit qu'une implication est sa contrapose sont quivalente : (PQ)(nonQ nonP).

3. La logique des conditions

Il existe plusieurs symbole qui veulent dire diffrente chose en logique les voici : = tout = au moins un/certain ! = un seul = Aucun Lorsque nous crivons x P(x) : Cela veut dire que tout les lment x vrifient la proprit de P(x) Ex : Tous les hommes sont mortel. Tous=, les hommes=x, tous les hommes= x , les hommes sont mortels = P(x).

le but est de savoir si tous les homme sont mortels, la rponses est oui donc cela veut dire que tout les lment x(hommes) vrifie la proprit P(x)(sont mortels).

-x P(x) : Cela veut dire qu'au moins 1/certains lment(s) de x vrifie P(x). Ex : si on prend le premier exemple de la page 10 du livre de logique, sa veut dire qu'il existe au moins 1 lment x(nombre entier) qui vrifie la proposition x2+1 est un carr parfait. Si on prend le nombre 0 cela fait 02+1 = 1 et 1 est bien la carr parfait de 1. Donc on a prouver qu'il y en avait au moins 1. -!x P(x) : Cela veut dire qu'il existe qu'un lment de x qui vrifie P(x). si on prend l'exemple ci dessus, le 0 est la seul rponse possible. Donc il existe bien qu'une seul et unique rponse qui vrifie P(x). -x P(x) : Cela veut dire qu'aucun lment vrifie P(x). Ex: certains chiens ont des ailes. Cette proposition est fausse, il existe aucun chien avec des ailes. Si ctait marqu aucun chiens ont des ailes, ceci aurai t juste.

Ngation d'un propositions quantifie non(x P(x)) (x nonP(x))

la ngation de il existe au moin 1 qui vrifie P(x) est tout les lment vrifie pas P(x) . (x nonP(x)) peut aussi se traduire comme aucun lment vrifie P(x),x P(x). non(x P(x)) (x nonP(x)) La ngation de tout les lment vrifie P(x) est il y a au moin 1 lment qui ne vrifie pas P(x).

4.Objets du raisonnement
suffit de lire la page 11 du livre de logique.

5.Mthodes de dmonstration.
Mthode directe : Le but est de trouver l'hypothse et la conclusion et d'utiliser l'hypothse pour trouver la conclusion. Ex : la somme de deux nombres impairs est paire. Hypothse : deux nombre impairs. Conclusion : leur somme est paire. Preuve : nombre impairs peut s'crire comme 2k+1(dont k est un nombre entier quelconque) (2k+1)+(2k+1) = 4k+2
4k+2 est pair car 4k revient a dire 2fois 2k. 2k donne un nombre paire quelconque et si ce nombre on le re-multiplie par 2 sa donne encore un nombre pair quelconque. Donc 4k est pair. Si on rajoute deux a 4k(qui est pair) sa revient a additionner deux nombre paire, ce qui donne un nombre paire. Donc on a prouver que la somme de deux nombre impair est pair.

Mthode par contrapose. Pareil que la mthode direct mais on utilise la contrapose de l'implication dans la preuve. C'est dire que pour montrer l'implication PQ, on utilise la contrapose,on suppose que nonQ est vrai et on dmontre que nonP est vrai aussi. Dans l'exemple du livre de logique P: n2 est pair Q:n est pair H: n2 est pair C: n est pair Preuve : on suppose nonQ(n est impair) vrai. Et avec cette supposition on essaie de prouver nonP(n2 est impair) Si n est impair il peut s'crire 2k+1, n=2k+1 Donc n2 = (2k+1)2 = 4k2+4k+1. 4k2 est un nombre pair, 4k est aussi pair. Leur addition est donc pair. Donc on peut remplacer 4k2+4k par 2k vu que c'est pair. Ce qui donne 2k+1 qui est bien impair. Donc n2 = 2k+1, n2 est bien impair. On a bien prouver avec nonQ vrai que nonP est vrai aussi. Donc on a prouve la contrapose. Ce qui fait que l'implication est vrai aussi vu que l'implication et sa contrapose sont quivalente. Mthode par l'absurde, contre-exemple et disjonction des cas. Je les expliques pas parce que c'est bien expliquer dans le livre je sais pas comment expliquer mieux.

Mthode par rcurence. Prenons la formule du livre : 1+2+3+...+n= 2 Le but et de prouver que pour tout les n,cette formule fonctionne. Si on prend un escalier on doit prouver que pour chaque marche (n) ceci fonctionne. Donc il faut dj un base qui fonctionne, donc on calcul si la formule 1( 1+1) fonctionne avec n=1 si on remplace n par 1 cela donne 1= 2 ce qui donne 1= 1 donc notre base est juste. La prochaine tape consiste a dmontrer que la formule fonctionne avec les nombre suivent ( les marche suivante de l'escalier dont la bas est 1). Monter une marche consiste a faire n+1 vu que le dbut de la formule est 1+2+3 a chaque marche on monte d'un cran. Si cela aurai t 1+3+5 chaque marche serai n+2 car sa augmente de deux en deux. Alors on prouve la formule avec n+1. On remplace donc les n de la formule par n+1 (n+1)((n+1)+1) cela donne 1+2+3+...+(n+1)= = 2 il faut supposer que cette proposition est vrai.
n(n+1)

( n+1)(n+2) 2

le but final est d'utiliser la formule de dpart pour arriver a Pour cela on fait comme ceci : 1+2+3+...+n +(n+1)
on s'est que la partie verte est gal

( n+1)(n+2) 2

n(n+1) donc on rutilise cela. 2

1+2+3+...+n +(n+1) =

n( n+1) 2

+(n+1).

Il faut utiliser cette nouvelle rponse (

( n+1)(n+2) 2

n(n+1) 2

+(n+1).) pour arriver a

Comme ceci :
n( n+1) 2

+(n+1) =

n( n+1)+2(n+1) 2

,nous pouvons mettre (n+1) en vidence. Cela donne :

n( n+1)+2(n+1) 2 n( n+1) 2

( n+1)(n+2) 2 ( n+1)(n+2) 2

avec cette opration, on a bien prouver que

+(n+1) =

donc l'exercice est rsolu,on a prouver que pour toute les marches, la proposition est juste.