Changes

"<math>(3)</math>" significa que todo paciente com TMJ CT positivo tem DTMs, mas mesmo que Mary Poppins seja TMJ CT positiva, ela não tem DTMs.

"<math>(3)</math>" significa que todo paciente com TMJ CT positivo tem DTMs, mas mesmo que Mary Poppins seja TMJ CT positiva, ela não tem DTMs.

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:

A fim de provar que esta proposição é verdadeira, devemos usar mais uma vez o acima mencionado <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>