Bonjour à tous,
Concernant l’implication j’ai bien compris que seule une proposition vraie impliquant une proposition fausse entraîne que l’implication est fausse.
Par exemple, «*si 2 est pair, alors 3 est pair*» est une implication fausse car la première proposition est vraie et la deuxième est fausse.
Cependant, si on considère «*ABCD est un carré implique (AB) est parallèle à (CD)*» alors la proposition ABCD est un carré n’a pas de valeur de vérité si je ne m’abuse…donc il faut attribuer les valeurs de vérité possibles à la proposition initiale et voir ce qu’il se passe ? Donc considérer la première proposition vraie, en déduire que la deuxième est vraie donc l’implication est vraie car si je considère ABCD faux, l’implication est vraie dans tous les cas…est-ce la bonne démarche de compréhension de l’implication ?
Merci et belle journée
-----