Salut, je me permets d'insérer ma requête dans ce forum, car j'ai un petit problème de logique. En effet je dois effectuer un travail, et je voulais simplement voir si il était bien correct avant de le donner au prof.
Je serais content si quelqu'un pourrait m'aider a revoire ce travail, vous pouvez me contacter par courriel, mon adresse est leoj19@pt.lu
Logique
1. Vérifiez par la méthode des arbres :
a) q→s ; (t ∧m)∧ t p ∨m∨ q ∨ s→s (3 P.)
b) (∃x) ⎡⎣Ax ∨ Ca →Cx⎤⎦ ; (∃x)Dx →(∃x)Ax ; (∀x) ⎡⎣Ax →Bx⎤⎦
(∀x)Cx→(∀x)Bx (4 P.)
2. Donnez une preuve formelle simple :
s→t ; s↔q ; r↔t ; r→q q (3 P.)
3. Construisez une preuve conditionnelle :
t →(p ∨ q) ; t →s ∨ z→w ; w ∧ (r ∨ s) q ∨ r→p (4 P.)
4. Transcrivez le raisonnement suivant en respectant l'ordre alphabétique dans le
lexique :
Aucune fille amoureuse ne mange sa soupe, mais toutes regardent des films
romantiques à la télé. Certaines filles amoureuses ne travaillent plus sans rêver de leur
prince charmant. Les filles amoureuses ne font pas leurs devoirs à domicile, si elles
regardent des films romantiques à la télé. Si et seulement si les filles amoureuses ne
font pas leurs devoirs à domicile, elles risquent de rater leur année scolaire. Marcelle
ne fait pas ses devoirs à domicile. Donc elle risque de rater son année scolaire.
(Univers du discours : x = fille amoureuse) (6 P.)