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..

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:

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