Reseau inverse

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche

Formula :

On quotiente les formules pas les lois de De Morgan.

Clause (à démontrer) : (le point est une conjonction)

Séquent : (la virgule est une dicjoncyion)

Règle logique :

Échec de l’analyse (fonction inconnue « \math »): {\displaystyle \frac{A . \Gamma, B . \Gamma, \Delta}{A \vee B. \Gamma , \Delta}\vee_i <\math> <math> \frac{A . \Gamma, \Delta}{\forall x A . \Gamma, \Delta}\forall_i (x \hbox{non libre dans la conclusion}) }