Math-Logique

[Liam20]

Bonjour j'ai besoin votre aide s'il vous plait , j'ai trouvé la solution avec cette exos ci dessous mais je ne sais pas c'est correct ou pas . vous pouvez regarder et m'aider vérifier la correction sil vous plait.

Ex1. Soient P et Q deux propositions logiques :

(1) Établir la table de vérité de la proposition :

(P ∨ Q) ⇒ (P ∧ Q).

(2) Établir la table de vérité de la proposition :

(P ⇒ Q) ∧ (Q ⇒ P).

(3) En déduire que la proposition (P ∨ Q) ⇒ (P ∧ Q) est équivalente à P ⇐⇒ Q

----------------------------------
La réponse que j'aie trouvé je mets le lien pour vous parce que si je écris ici c'est un peu long donc je mets le lien vous pouvez cliquer le lien et vérifier pour previez aussi.


https://wetransfer.com/downloads/fd8d0b ... 646/be6723

[hdci]

Bonjour,

Pour la 1) la table est correcte (le résultat est d'ailleurs celle de l'équivalence : si "P ou Q" implique "P et Q" est vraie, c'est bien que les deux propositions ont même valeur de vérité et réciproquement)

Pour la 2) c'est correct également ; d'ailleurs cette formule est exactement celle de l'équivalence

Et effectivement pour la 3 on obtient bien la table de l'équivalence.

Donc c'est tout bon (... Sauf... Pour la 3 vous avez écrit deux fois , dont une fois au lieu de mais c'est sûrement un lapsus)

[Liam20]

Bonjour
Pourriez-vous réécrire la 3 sil vous plait parce que moi je me semble pas très bien compris.

[hdci]

Dans ce que vous avez écrit pour la question 3 : vous avez une colonne pour P, une colonne pour Q, une colonne pour , et la quatrième colonne est intitulée au lieu de (mais par contre les vérités V/V/F/V correspondent bien à )

[Liam20]

D'accord Merci