Changes

</math> quem é positivo no exame radiográfico da ATM <math>\mathrm{\mathcal{A}}(\text{x})</math>  [Figura 2 e 3] é afetado por TMDs <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; Disto segue que <math>\vdash</math> sendo Mary Poppins positiva (e também sendo uma paciente "normal") no raio-x da ATM <math>A(a)</math> então Mary Poppins também é afetada por TMDs <math>\rightarrow \mathcal{B}(a)</math>

</math> quem é positivo no exame radiográfico da ATM <math>\mathrm{\mathcal{A}}(\text{x})</math>  [Figura 2 e 3] é afetado por TMDs <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; Disto segue que <math>\vdash</math> sendo Mary Poppins positiva (e também sendo uma paciente "normal") no raio-x da ATM <math>A(a)</math> então Mary Poppins também é afetada por TMDs <math>\rightarrow \mathcal{B}(a)</math>

The language of predicates is expressed in the following way:

A linguagem dos predicados é expressa da seguinte maneira:

<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>