« Reseau inverse » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
Formula : <math>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</math> |
Formula : <math>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</math> |
||
| Ligne 5 : | Ligne 4 : | ||
Séquent : <math>\Delta := 0 \mid \Gamma , \Delta</math> (la virgule est une dicjoncyion) |
Séquent : <math>\Delta := 0 \mid \Gamma , \Delta</math> (la virgule est une dicjoncyion) |
||
Règle logique : |
|||
<math> |
|||
\frac{A . B . \Gamma , \Delta}{A \wedge B . \Gamma , \Delta}\wedge_i |
|||
</math> |
|||
Version du 20 octobre 2008 à 15:02
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}
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 : É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 . B . \Gamma , \Delta}{A \wedge B . \Gamma , \Delta}\wedge_i }