Montrez les desuctions .. axioms .. règle d'inférence

Posté par InfoMan InfoMan

Bonjour les génies.

J'ai un exercice a faire utilisant les axiomes et la règle d'inférence pour montrez les deduction suivantes:

┤

┤(())

j'ai utilisé ce symble ┤ mais je vais l'inverse, soit |-

en utilisant les axiomes fameux:
A1: (())
A: (())(()())
A3: (()(()))


j'ai resolu la 1ere mais par une longue méthode, donc, je veux une autre.
En outre la 2eme, ou je suis stopé, l'image n'est pas claire jusque' ici, j'ai qlq choses flou selon les utilisations des axiomes.

Salutation
InfoMan

Posté par InfoMan InfoMan

Merci pour la non-réponse..lol.

j'ai montré la deuxiemse facilement utilisant la théorème de déduction:

a->b ┤ (a->(c->b) quie est équivalente à: a->b,a ┤ c->b

b0: a->b (hyp).
b1: a (hyp).
b2: b MP(b0,b1).
b3: b->(c->b) A1.
b4: c->b MP(b2,b3).
d'ou la résultat.

J'espère que sa correcte, et la première de meme façon.

Mais, j'ai cherché un méthode sans que j'utilise la théorème de déduction, SVP.

Salutation.
InfoMan.