Changes

À ce stade, il faut également considérer que la logique des prédicats n'est pas utilisée uniquement pour prouver qu'un ensemble particulier de prémisses implique une preuve particulière... <math>(1)</math>. Elle est également utilisée pour prouver qu'une affirmation particulière est fausse, ou qu'un élément de connaissance particulier est logiquement compatible/incompatible avec une preuve particulière..

À ce stade, il faut également considérer que la logique des prédicats n'est pas utilisée uniquement pour prouver qu'un ensemble particulier de prémisses implique une preuve particulière... <math>(1)</math>. Elle est également utilisée pour prouver qu'une affirmation particulière est fausse, ou qu'un élément de connaissance particulier est logiquement compatible/incompatible avec une preuve particulière..

Afin de prouver que cette proposition est vraie, nous devons utiliser la méthode mentionnée ci-dessus.<u>démonstration par l'absurde</u>. If its denial creates a contradiction, surely the dentist's proposition will be true:

Afin de prouver que cette proposition est vraie, nous devons utiliser la méthode mentionnée ci-dessus.<u>démonstration par l'absurde</u>. Si sa négation crée une contradiction, la proposition du dentiste sera sûrement vraie.:

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

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