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
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
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... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
Logique et Implication
Posté par alpha 3578
Bonjour et bonne rentrée à tous et à toutes,
Voilà, j'ai une question concernant la logique et plus particulièrement la table de vérité de l'implication.
En effet, je ne comprend pas pourquoi si A est une assertion fausse et l'assertion B est vraie alors l'assertion A 
B est vraie.
Cordialement.
Encore bravo pour le nouveau site qui est vraiment magnifique et très facile à utiliser. 
en fait il faut avoir en tête la définition formelle de l'implication :
P Q 
nonP ou Q.
Ensuite il suffit de faire la table de vérité a partir de cette définition, et tu as la reponse a ta question !
Je connaissait la définition formelle de l'implication, cependant j'essayais de trouver une relation logique et intuitive.
Merci beaucoup et bonne soirée.