</math> que es positivo en el examen radiográfico de la 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>
+
</math> que es positivo en el examen radiográfico de la ATM <math>\mathrm{\mathcal{A}}(\text{x})</math> [Figura 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: