Changes

</math> qui est positif à l'examen radiographique de l'ATM <math>\mathrm{\mathcal{A}}(\text{x})</math>  [Figure 2 et 3] est affecté par les MDT <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; il en découle que <math>\vdash</math> être Mary Poppins positif (et aussi être un patient "normal") sur la radiographie de l'ATM <math>A(a)</math> alors Mary Poppins est également affectée par les DTM. <math>\rightarrow \mathcal{B}(a)</math>

</math> qui est positif à l'examen radiographique de l'ATM <math>\mathrm{\mathcal{A}}(\text{x})</math>  [Figure 2 et 3] est affecté par les MDT <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; il en découle que <math>\vdash</math> être Mary Poppins positif (et aussi être un patient "normal") sur la radiographie de l'ATM <math>A(a)</math> alors Mary Poppins est également affectée par les DTM. <math>\rightarrow \mathcal{B}(a)</math>

The language of predicates is expressed in the following way:

Le langage des prédicats est exprimé de la manière suivante:

<math>\{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}</math>. <math>(1)</math>

<math>\{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}</math>. <math>(1)</math>