Created page with "qui est positif à l'examen radiographique de l'ATM"
Line 588:
Line 588:
Tout patient normal <math>\forall\text{x}
Tout patient normal <math>\forall\text{x}
−
</math> who is positive on the radiographic examination of the TMJ <math>\mathrm{\mathcal{A}}(\text{x})</math> [Figure 2 and 3] is affected by TMDs <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; from this it follows that <math>\vdash</math> being Mary Poppins positive (and also being a "Normal" patient) on the TMJ x-ray <math>A(a)</math> then Mary Poppins is also affected by TMDs <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 and 3] is affected by TMDs <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; from this it follows that <math>\vdash</math> being Mary Poppins positive (and also being a "Normal" patient) on the TMJ x-ray <math>A(a)</math> then Mary Poppins is also affected by TMDs <math>\rightarrow \mathcal{B}(a)</math>
The language of predicates is expressed in the following way:
The language of predicates is expressed in the following way: