Changes

Neste ponto, também deve ser considerado que a lógica dos predicados não é usada apenas para provar que um conjunto particular de premissas implica uma evidência particular <math>(1)</math>. Também é usado para provar que uma determinada afirmação não é verdadeira ou que um determinado conhecimento é logicamente compatível / incompatível com uma determinada evidência.

Neste ponto, também deve ser considerado que a lógica dos predicados não é usada apenas para provar que um conjunto particular de premissas implica uma evidência particular <math>(1)</math>. Também é usado para provar que uma determinada afirmação não é verdadeira ou que um determinado conhecimento é logicamente compatível / incompatível com uma determinada evidência.

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

A fim de provar que esta proposição é verdadeira, devemos usar o acima mencionado<u>demonstration by absurdity</u>. If its denial creates a contradiction, surely the dentist's proposition will be true:

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