Changes

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

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

At this point, it must also be considered that predicate logic is not used only to prove that a particular set of premises imply a particular evidence <math>(1)</math>. It is also used to prove that a particular assertion is not true, or that a particular piece of knowledge is logically compatible/incompatible with a particular evidence.

A questo punto, bisogna anche considerare che la logica dei predicati non è usata solo per dimostrare che un particolare insieme di premesse implica una particolare evidenza <math>(1)</math>. It is also used to prove that a particular assertion is not true, or that a particular piece of knowledge is logically compatible/incompatible with a particular evidence.

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

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