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.

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:

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