Reseau inverse

Formula : Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle A := X(t_1,\dots,t_n) \mid \neg A \mid A \vee B \mid A \wedge B \mid \forall x A \mid \exists x A}

On quotiente les formules pas les lois de De Morgan.

Clause (à démontrer) : Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \Gamma := 1 \mid A . \Gamma} (le point est une conjonction)

Séquent : Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \Delta := 0 \mid \Gamma , \Delta} (la virgule est une dicjoncyion)

Règle logique : ${\frac {A.B.\Gamma ,\Delta }{A\wedge B.\Gamma ,\Delta }}\wedge _{i}$

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{A . \Gamma, B . \Gamma, \Delta}{A \vee B. \Gamma , \Delta}\vee_i }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{A . \Gamma, \Delta}{\forall x A . \Gamma, \Delta}\forall_i (x \hbox{non libre dans la conclusion}) }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{A[x:=t] . \Gamma, \Delta}{\exists x A . \Gamma, \Delta}\exists_i }