Problème de résolution de satisfiabilité des causes !

[Invité]

Je vous dis :

1 - Luc est grand OU il porte un bermuda OU c'est un enfant.

2 - Luc est petit OU il fume.

3 - Luc est un enfant OU il ne porte pas de bermuda OU il ne fume pas.

4 - Luc est petit OU il est adulte.

5 - Luc est petit OU il porte un bermuda.

6 - Luc est grand OU il fume.

Que pouvez vous dire de Luc ?

Chaque phrase est appelée une clause. Sont elles toutes satisfaites ? 

[Invité]

Trop compliqué pour moi :-)

[Invité]

Mais non ! mais non ! 

[Invité]

Luc va laver ton bermuda, tu fumeras plus tard :-)

[Invité]

[Invité]

Creusoise " je m'y essaie " sans réelle certitude je  l'avoue :



1 - Luc est grand  Vrai OU il porte un bermuda OU c'est un enfant.

Luc est grand

2 - Luc est petit OU il fume 
Luc fume
3 - Luc est un enfant OU il ne porte pas de bermuda OU il ne fume pas. Faux 
Luc est grand, il fume et porte un bermuda
4 - Luc est petit OU il est adulte.

5 - Luc est petit OU il porte un bermuda.
Luc porte un bermuda
6 - Luc est grand OU il fume.
Luc est grand
Que pouvez vous dire de Luc ?


Luc ne peut pas être grand et petit à la fois
Mon choix : Luc est adulte



Quand à la théorie du genre et développement j'ai ajourné

- J'ajouterai : quand à l’interprétation, je t'en laisse bien sur le rôle

[Invité]

Si Luc est grand, alors il fume (d'après 2 et c'est un adulte (d'après 4), donc il ne porte pas de bermuda (d'après 3).


Mais alors la clause 5 n'est pas satisfaite.

Donc Luc est petit. Mais alors il fume (d'après 6)

Si Luc est un adulte, on obtient (avec 1) qu'il porte un bermuda et (avec 3) qu'il n'en porte pas, ce qui est contradictoire, et donc Luc est un enfant.

On a obtenu que Luc est un enfant, petit, qui fume !

On vérifie que cela suffit pour rendre vraies les 6 clauses de l'énoncé ; on ne peut pas savoir si Luc porte un bermuda.

On dit donc que l'ensemble de 6 clauses est satisfiable et qu'il possède 2 modèles :
dans l'un Luc est un enfant petit qui fume et porte un bermuda !

Dans l'autre Luc est un enfant petit qui fume mais qui ne porte pas de bermuda !

[Invité]

C'était bien difficile ce truc ! 

[Invité]

Aussi chiant que les histoires de smail ce truc.

[Invité]

Si Luc est grand, alors il fume (d'après 2 et c'est un adulte (d'après 4), donc il ne porte pas de bermuda (d'après 3).


Mais alors la clause 5 n'est pas satisfaite.

Donc Luc est petit. Mais alors il fume (d'après 6)

Si Luc est un adulte, on obtient (avec 1) qu'il porte un bermuda et (avec 3) qu'il n'en porte pas, ce qui est contradictoire, et donc Luc est un enfant.

On a obtenu que Luc est un enfant, petit, qui fume !

On vérifie que cela suffit pour rendre vraies les 6 clauses de l'énoncé ; on ne peut pas savoir si Luc porte un bermuda.

On dit donc que l'ensemble de 6 clauses est satisfiable et qu'il possède 2 modèles :
dans l'un Luc est un enfant petit qui fume et porte un bermuda !

Dans l'autre Luc est un enfant petit qui fume mais qui ne porte pas de bermuda !

Je ne pouvais imaginer qu'un enfant fume, si bien que je n'ai pu le voir petit

[Contenu sponsorisé]