Changes

</math> que es positivo en el examen radiográfico de la ATM <math>\mathrm{\mathcal{A}}(\text{x})</math>  [Figura 2 y 3] se ve afectado por los TTM <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; De esto se deduce que <math>\vdash</math> ser Mary Poppins positivo (y también ser un paciente "Normal") en la radiografía de la ATM <math>A(a)</math> entonces Mary Poppins también está afectada por los TTM <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 y 3] se ve afectado por los TTM <math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>; De esto se deduce que <math>\vdash</math> ser Mary Poppins positivo (y también ser un paciente "Normal") en la radiografía de la ATM <math>A(a)</math> entonces Mary Poppins también está afectada por los TTM <math>\rightarrow \mathcal{B}(a)</math>

The language of predicates is expressed in the following way:

El lenguaje de los predicados se expresa de la siguiente manera:

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