Changes

Llegados a este punto, también hay que considerar que la lógica de predicados no se utiliza sólo para demostrar que un determinado conjunto de premisas implica una determinada evidencia <math>(1)</math>. También se utiliza para demostrar que una determinada afirmación no es cierta, o que un determinado conocimiento es lógicamente compatible/incompatible con una determinada prueba.

Llegados a este punto, también hay que considerar que la lógica de predicados no se utiliza sólo para demostrar que un determinado conjunto de premisas implica una determinada evidencia <math>(1)</math>. También se utiliza para demostrar que una determinada afirmación no es cierta, o que un determinado conocimiento es lógicamente compatible/incompatible con una determinada prueba.

Para demostrar que esta proposición es cierta debemos utilizar la mencionada<u>demostración por el absurdo</u>. If its denial creates a contradiction, surely the dentist's proposition will be true:

Para demostrar que esta proposición es cierta debemos utilizar la mencionada<u>demostración por el absurdo</u>. Si su negación crea una contradicción, seguramente la proposición del dentista será verdadera:

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