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
- Ensemble et application Partie II
- Ensemble et application Partie I
- Espaces vectoriels et Applications linéaires - supérieur
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - 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... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
implication
Posté par oyayao
Bonjour à tous,
je suis élève en MPSI et un de mes amis m'a montré les tables de vérité. Quelque chose me dérange un peu, c'est le fait qu'une proposition fausse implique qu'une autre est vrai. SI vous pouviez me donner des exemples appuyés par des explications ou une manière de raisonner, cela m'intéresserait.
Merci.
bonsoir,
exemple : si je gagne au loto, alors je m'achète une voiture neuve...
et subitement, la mienne tombe en panne... et j'en rachète une... peux-tu en déduire que j'ai gagné au loto ?
que nenni !
je n'ai pas dit que c(était le seul cas où je m'en rachèterai une !
moralité... l'implication F implique V ... est vraie
Si les poules avaient des dents on mettrait Paris en bouteille.
En d'autres termes une proposition fausse implique n'importe quoi.
En logique est une écriture de « nonA ou B» il devient ainsi clair que si A est faux alors
est vrai.
:?:?
c'est quoi une explication générale ??? c'est toi qui demandais des exemples !
la cas général, Verdurin l'a donné :
P
Q correspond en fonction logique à : (non P) OU Q
D'ailleurs ça me parait bien plus clair « nonA ou B». Je voulais savoir si le raisonnement par l'absurde repose sur le Faux implique le Vrai ?