Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Un best-of d'exos de probabilités (après le bac)
- Espaces vectoriels et Applications linéaires - supérieur
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Licence Maths 1e ann LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Licence Maths 1e ann
Conditions nécessaires et suffisantes
Posté par Lucas2244
Bonjour,
Je suis en train de rattraper mon retard en maths pour être à l'aise l'an prochain et je bloque sur quelque chose.
Je ne comprends pas pourquoi on a :
Soient A, B et C des propriétés,
(A et B) => C est démontré si l'on montre que (A et Cbarre) => Bbarre
Cbarre est la propriété non C et Bbarre est la propriété non B.
Merci pour votre aide.
bonjour,
il suffit de savoir que A et B implique C est équivalent à
non A ou non B ou C traduction de l'implication et loi de Morgan) donc à non A ou C ou non B (commutativité de ou ) et tu retraduis à l'envers de ma première traduction
Bonjour Lucas2244.
En maths, il n'y a que deux symboles logiques : "ou", noté et "non" noté avec une barre ou bien
Les autres symboles logiques ne sont que des combinaisons de ces deux-là.
- la proposition est par définition la proposition
.
- la proposition est par définition la proposition
Partant, les 3 propositions suivantes sont en fait les mêmes, ou équivalentes :
Ensuite, cette dernière proposition est équivalente à par interversion d'un "ou".
Enfin, cette dernière est identique aux deux suivantes :
Conclusion : les deux proposition en bleu sont équivalentes.