Bonjour, pouvez vous m'aider


Enoncé :


Exprimer sous forme symbolique les raisonnements suivants et démontrer qu'ils sont corrects.

1) Si je ne m'assoies pas je bois. Si je bois, on dance et de plus je fume. Si je m'asssoies je m'amuse. Or je m'ennuie. Donc je fume.

2)Si je marche je sue. Si je ne me fatigue pas, je ne sue pas. Or je ne me fatigue pas. Donc je ne marche pas.

3)Si A dit la vérité, B ment. Si B ment, C ment. Si C ment, D dit la vérité. D ment ou bien E ment. A ne ment pas. Donc E ment.


Alors :

1) A : je m'assoies
    M : je m'amuse
    B : je bois
    F : je fume
    D : je dance
    E : je m'ennuie

non A implique B
B implique ( D et F)
A implique M
E

Et après je bloque pour avec ce que j'ai trouver en conclusion je fume.  
Merci de m'aider car j'ai ce probleme pour les 3 questions.