Changes

"<math>(3)</math>" signifie que tous les patients qui sont positifs au CT de l'ATM ont des DTM, mais que même si Mary Poppins est positive au CT de l'ATM, elle n'a pas de DTM..

"<math>(3)</math>" signifie que tous les patients qui sont positifs au CT de l'ATM ont des DTM, mais que même si Mary Poppins est positive au CT de l'ATM, elle n'a pas de DTM..

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:

Afin de prouver que cette proposition est vraie, nous devons utiliser une fois de plus la méthode mentionnée ci-dessus. <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>