Changes

"<math>(3)</math>" significa que todos los pacientes que dan positivo en el TAC de la ATM tienen TTM, pero aunque Mary Poppins dé positivo en el TAC de la ATM, no tiene TTM.

"<math>(3)</math>" significa que todos los pacientes que dan positivo en el TAC de la ATM tienen TTM, pero aunque Mary Poppins dé positivo en el TAC de la ATM, no tiene TTM.

In order to prove that this proposition is true, we must use once again the above mentioned <u>demonstration by absurdity</u>. If its denial creates a contradiction, surely the neurologist's proposition will be true:

Para demostrar que esta proposición es cierta, debemos utilizar una vez más la mencionada <u>demonstration by absurdity</u>. If its denial creates a contradiction, surely the neurologist's proposition will be true:

<math>\urcorner\{a \not\in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \and A( a)\rightarrow \urcorner B(a) \}</math>. <math>(4)</math>

<math>\urcorner\{a \not\in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \and A( a)\rightarrow \urcorner B(a) \}</math>. <math>(4)</math>