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.

Para demostrar que esta proposición es cierta, debemos utilizar una vez más la mencionada <u>demostración por el absurdo</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>demostración por el absurdo</u>. Si su negación crea una contradicción, seguramente la proposición del neurólogo será verdadera:

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