SVP aide calcul des sequents

[LiidWaa]

Bonjour s'il vous plait
j'arrive pas a comprendre comment ça marche ça fait un mois que j'essaye mais rien

comment il fait pour choisir ses axiomes ?


et voila la solution mais comment il a fait ? comment il a raisonné je connais les regles de production mais je sais pas comment il a su qu'on devrait utiliser deux axiomes par exemple ou toute une formule comme axiome



Merci

[pascal16]

Je n'ai jamais fait de calculs avec les séquents, mais juste en tapant "axiome calcul séquents" sur >Google, je suis tombé sur des cours avec les démo demandées.

[LiidWaa]

sur google on trouve que les regles des productions et tout mais pas ma question

[zygomatique]

salut

ben peut-être faut-il connaitre les connecteurs ou et et .... et la négation et la contraposée et leur table de vérité ...

p --> p => p --> p ou q => non (p ou q) --> non p

q --> q => q --> p ou q => non (p ou q) --> non q

donc non (p ou q) => non p et non q



PS : bon c'est difficile d'utiliser le même formalisme sur ordi ...