[L2] Petit exercice de logique propositionnelle

[invite48955d6f]

Bonjour, je suis étudiant en licence 2 de maths-info et j'ai besoin de votre aide.

En m'entrainant pour mon examen de fin de semestre, je suis tombé sur un exo que je n'arrivais pas du tout à faire.

L'énoncé est ICI, il s'agit de l'exercice 4 "Logique propositionnelle".
Je ne sais pas du tout comment m'y prendre pour y répondre.
Merdi de m'aider.
-----

[invite8a7c8c6a]

Bernard dit : Nous sommes tous les deux des Menteurs. Bernard est-il Sinc`ere ou Menteur ? Et Alice ?


si Bernard est Sincère alors Ber et Alice sont des monteur (contradiction)

donc

Bernard est un monteur (donc on prend la négation de son affirmation )

Bernard ou Alice sont sincère donc Alice est sincère

tu peut traduire ca avec des A et des B

Alice dit : Je ne suis ni une Sinc`ere ni une Menteuse, et Bernard ajoute : C’est vrai !. Qu’en d´eduire
sur Alice et sur Bernard ?


A et !A (contradiction)

alors les deux sont des monteurs


(sauf erreur)

[invite48955d6f]

Merci beaucoup de tes réponses fardi !
Ca parait évident quand on regarde les réponses mais il fallait le trouver