Logique des propositions, méthode de résolution

[invite248d9253]

Bonjour,

j'ai un petit problème assez urgent!
Cela concerne la méthode de résolution et des tableaux en Logique.

En gros je dois montrer que { (p->(q OU r)) , (q->(r->s)) , NON s} |= NON p n'est pas valide
par la méthode de résolutions et par la méthodes des tableaux.

Par la méthode de résolution , est ce qu'il faut montrer (après avoir tout mis sous forme clausale et rajouté la négation de la conclusion) qu'on obtient l'ensemble vide ?
ou montrer que la négation de tout ça n'est pas insatisfiable?

et pour la méthode des tableaux on doit montrer qu'il y a des branches fermées et des branches ouvertes ??

merci d'avance !
-----

[Chanur]

Bonjour,

{ (p->(q OU r)) , (q->(r->s)) , NON s} |= NON p

Je ne comprends pas tes notations.
A vue de nez, je présume que p, q, r et s sont des variables booléennes,
La flèche ? Peut-être une implication ?
Les virgules pourraient être des ET et les accolades des parenthèses, à moins qu'il ne s'agisse d'un vecteur de 3 booléens ?
Quand au symbole "|=", je suis à cours d'imagination ...

Si tu pouvais nous éclairer ...
A+