Logique, implication p => q

[CompositeStructure]

Bonjour,

Je révise pour le début du mon BTS.
Je commence par la logique. Il y a quelque chose que je saisis pas dans le premier paragraphe


Il est écrit

En effet, la table de la figure 6, montre que si p => q est vraie, c'est-à-dire si on se trouve aux lignes 1, 2 ou 4 de la table, la véracité de p est suffisante pour déduire celle de q. Par contre, la véracité de q (lignes 2 et 4) ne permet pas de déduire celle de p.

Or pour les lignes 2 et 3 de la figure 6 appelée implication:
pour p avec une valeur 0, q vaut 1
pour p avec une valeur 1, q vaut 0

La véracité de p pour les lignes 2 et 3 ne sont donc pas suffisantes pour déduire q puisque c'est le contraire.
p vrai, q faux
p faux, q vrai

Est-ce que je n'ai pas saisi quelque chose ou est-ce qu'il n'y aurait tout simplement pas une erreur dans le texte ?
Est-ce que ce paragraphe ne devrait pas plutôt être écrit de la façon suivante:

En effet, la table de la figure 6, montre que si p => q est vraie, c'est-à-dire si on se trouve aux lignes 1 ou 4 de la table, la véracité de p est suffisante pour déduire celle de q. Par contre, la véracité de q (lignes 2 et 3) ne permet pas de déduire celle de p.

Merci par avance

Cordialement

Mathieu
-----

[Médiat]

Bonjour,

La véracité de p pour les lignes 2 et 3 ne sont donc pas suffisantes pour déduire q puisque c'est le contraire.
p vrai, q faux
p faux, q vrai

Votre pièce jointe n'est pas encore validée, donc je m'avance peut-être un peu, mais sur la ligne p vrai, q faux, vous devez avoir que p==>q est faux.



PS : la qualité du texte de votre document est ... discutable

[gg0]

Bonjour.

L'implication P==>Q est vraie lorsqu'il y a un 1 dans la troisième colonne, donc bien dans les lignes 1,2 et 4; et dans ces cas, on voit bien que si P est vraie (ligne 4), alors Q est vraie.
Par contre, toujours dans ces lignes, lorsque Q est vraie (lignes 2 et 4) il est possible que P soit fausse (ligne 2) iu vraie (ligne 4).

Cordialement.

[CompositeStructure]

Merci pour vos retours.
Je continue de ne pas comprendre, désolé.
Comment les lignes 2 et 3 peuvent être vrai, un 1 dans la troisième colonne si p est vrai alors que q est faux, comment cela peut impliquer que
p ==> q soit vrai.

Merci par avance

Cordialement

Mathieu

[A voir en vidéo sur Futura]

[Tryss2]

Comment ça? La deuxième ligne c'est "P faux, Q vrai, P=>Q vrai", ce qui est vrai, et la troisième ligne c'est "P vrai, Q faux, P=>Q faux", ce qui est vrai aussi.