Bonsoir, j'ai un peu de mal à faire cette exercice, je suis à l'IUT, je sollicite donc votre aide,merci d'avance !

Voici l'énoncé :
"Exprimer à l'aide des symboles logiques la proposition P:
"Si p implique que q implique r, alors la conjonction de p et q implique r"
Pouvez vous formuler en langage usuel la négation de P?
évaluer P
ExprimerP avec des connecteurs logiques."

Voici mes réponses :

( p(qr))((pq)r))

Pour le langage usuel, non je ne comprend pas la question

Pour évaluer P, j'ai fait une table de vérité, et je me retrouve avec une colonne de 8 "1" ( 1 étant Vrai ), je me demande donc si j'ai juste...si vous pouviez vérifier, ça ne serait pas un refus...

Pour la dernière question, j'ai cela :

( p(qr))((pq)r))
=( p(qr))((pq)r))

et je me retrouve finalement avec :

(pqr)(pqr)

Merci d'avance pour ceux qui m'aideront, désolé si ce n'est pas très lisible...