exo impliquation

[invite625ca7d1]

j'ai cette exercice dont je veux m'assuré de mes reponse veuillez me corrigé si j'ai comi des fautes*

L'enoncé est
P Q R des propositions quelconques
Les propositions suivantes sont-elles vrai?????
1:P imlique (Q implique P)
2; ( P implique Q ) implique (( Q implique R ) implique ( P implique R))?
3; P implique ((non P) implique Q)

#Que d'impliquation pouffff#

Ma solution est la suivante

1/ j'ai reformuler tt la proposition avec des "ou" ça donne
non P ou P ou Q
et comme (non P ou P ) est tjr VRAI donc quelque soit Q -vrai ou fausse -

la proposition est Vrai

2+ 3 je sais PAS d'ailleur ce qui me desole
-----

[inviteaf48d29f]

Bonsoir,
vous pouvez le faire de la même façon pour 2) et 3), en remplaçant toutes les implications par des ou.

[papagayo1]

petite remarque mais qui ne change rien au résultat de 1), le développement donne : nonP ou (Q => P)
nonP ou non Q ou P
nonP ou P ou nonQ

tu peux aussi te servir des tables de vérité si tu connais:

p q p=>q
F F V
F V V
V F F
V V V