Logique: synonymies

[Anonyme]

Bonjout tt le monde:
J'aimerais qq precisions a propos des synonymies classiques (le signe = sera utilisé pour désigner une synonymie)
- Redefinition de l'implication: A=>B = A(barre) ou B.
Pouvez-vous me donner 1 exemple ou on l'utilise?
- Le principe du rst par l'absurde est également cité pour démontrer une implication à savoir: A=>B = non(A et non(B)).
1 Exemple d'application svp.
Je pensais que ce rst n'était utilisé que pr démontrer une proposition (ex: L'ensemble des nbres premiers est infini) mais pas pour montrer une implication...
- La disjonction des cas: ((A=>C)et(B=>C) => ((AouB)=>C).. Je vois pas du tt: 1 exple d'application me serait fort utile.
Merci

[MooMooBloo]

http://mpsi3.llg.free.fr/exercice.htm

Regarde le premier lien vers le pdf "Logique"
Il y a des exercices