Changes

"<math>(3)</math>" dire che ogni paziente che è positivo alla TMJ CT è affetta dai DTM, ma anche se Mary Poppins è positiva alla TMJ CT, non è affetta da DTM.

"<math>(3)</math>" dire che ogni paziente che è positivo alla TMJ CT è affetta dai DTM, ma anche se Mary Poppins è positiva alla TMJ CT, non è affetta da DTM.

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

Per dimostrare che questa proposizione è vera, dobbiamo usare ancora una volta la <u>dimostrazione per assurdo</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>