Changes

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

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

"<math>(3)</math>" means that every patient who is TMJ CT positive has TMDs but even though Mary Poppins is TMJ CT positive, she does not have TMDs.

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

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: