Proceso De Inferencia.

Mtodos: Demostracin por Reduccin al Absurdo o Contradiccin: El mtodo de demostracin por reduccin al absurdo se fundamenta en la condicin de no contradiccin para una teora, bsicamente la estrategia consiste en suponer explcitamente la negacin de la proposicin a demostrar, a partir de esta hiptesis se trata de generar una contradiccin, esto es: que la teora con ese supuesto es inconsistente y, en consecuencia, tal hiptesis es falsa, o lo que es equivalente, que su negacin es verdadera, quedando validada la proposicin inicial. Reductio ad absurdum, expresin latina por Reduccin al absurdo, es un mtodo de demostracin lgico. Es usado para demostrar la validez de proposiciones categricas; se parte por suponer como hipottica la negacin o falsedad de la tesis de la proposicin a demostrar, y mediante una concatenacin de inferencias lgicas vlidas se pretende derivar una contradiccin lgica, un absurdo; de derivarse una contradiccin, se concluye que la hiptesis de partida (la negacin de la original) ha de ser falsa, y la original es verdadera y la proposicin o argumento es vlido. A este mtodo tambin se le conoce como prueba por contradiccin o prueba ad absurdum. Parte de la base es el cumplimiento del principio de exclusin de intermedios: una proposicin que no puede ser falsa necesariamente es verdadera. La demostracin por reduccin al absurdo es un tipo de argumento lgico muy empleado en demostraciones matemticas. Consiste en demostrar que una proposicin matemtica es verdadera probando que si no lo fuera conducira a una contradiccin. Ejemplo: Supngase que se desea demostrar una proposicin P. El procedimiento consiste en demostrar que asumiendo como cierta la falsedad de P (o sea P negada) conduce a una contradiccin lgica. Esta P debera no ser falsa. Por lo tanto habra de ser verdadera. Demuestre que si m y n son enteros tales que n + n2 + n3 = m + m2, entonces n es par Solucin: Supongamos que n es impar. A partir de esto debemos conseguir una contradiccin. Como n es impar, entonces n2 y n3 son ambos impares, de donde n + n2 + n3 es impar (ya que esla suma de tres impares). Entonces, como m + m2 = n + n2 + n3, setiene que m + m2 es impar. Sin embargo m + m2 es siempre par (ya que m + m2 = m (m + 1) y necesariamente alguno de los nmeros m m+1 es par). Hemos llegado a una

contradiccin. De all se tiene que n es par, que es lo que queramos demostrar.

Trminos y Predicados: Todos los hombres son mortales. Scrates es hombre. Luego, Scrates es mortal. Esta estructura deductiva, tratada con la hiptesis que sirve de base al clculo proposicional, tendra la siguiente representacin matemtica: p q _____________ r Por tanto, ninguna de las proposiciones p, q, r, puede describirse mediante partes de las mismas dotadas de significado propio, unidas por conectivas, que sean comunes en algunas de ellas y, la relacin entre premisas y conclusin que hace la deduccin correcta, no puede detectarse con este nivel de representacin. Esto se debe a que la relacin entre las proposiciones est en la propia estructura interna de stas, en efecto: se afirman en ellas las mismas propiedades o relaciones para distintas personas o conjuntos de personas. Las propiedades son Ser Hombre, Ser mortal, las personas objeto de atribucin de estas propiedades son colectivos, en la primera proposicin, e individuos concretos, Scrates, en las otras, por ello, para tratar matemticamente este tipo de estructuras deductivas es preciso crear una teora que no tome como base la simbolizacin matemtica de la proposicin total sino la de sus componentes, es decir: Qu se afirma. De quin o quines se afirma El primer elemento se define como el predicado y el segundo, como los sujetos o trminos. As en la frase: Juan es negro. Es negro es el predicado y Juan el sujeto o trmino de la proposicin. Puede haber proposiciones con varios trminos, por ejemplo: Juanita est en clase entre Pedro y Manuela.

En este caso el predicado es -est en clase entre - y- y los trminos son Juanita, Pedro y Manuela. Los predicados que se refieren a un nico trmino se denominan predicados absolutos o mondicos. Los que se refieren a varios sujetos se denominan predicados de relacin o polidicos (segn el nmero de trminos pueden ser didicos, tridicos, etc.).

Simbolizacin: Una vez definidos los componentes de la proposicin se plantea su representacin matemtica en base a trminos y predicados. Para la simbolizacin de trminos se supone como base de referencia un dominio genrico, no vaco. Los trminos se representan por variables o constantes cuyos valores posibles forman parte del dominio anterior. x, y, z, t... letras de variables, representan cualquier elemento del dominio. a, b, c, d... letras de constantes, representan elementos concretos del dominio. Para la simbolizacin de predicados se utiliza la notacin funcional: f, g, h...

As, la proposicin Juan es negro, que en la lgica proposicional se simboliza con p, en la lgica de predicados queda: f (a) o bien n (j) donde n: ser negro; j: Juan.

De la misma manera: x es negro n(x) Juanita est en clase entre Pedro y Manuela f(a, b, c,) x est en clase entre y y, z, f(x, y, z) donde los sujetos x, y, z estn indeterminados.

Repblica Bolivariana de Venezuela Ministerio del Poder Popular para la Educacin Superior Instituto Universitario de Tecnologa Antonio Jos De Sucre IUTAJS Barinas, Edo. Barinas

Gutirrez Jos 18.839.326 Informtica #78

Barinas, Noviembre de 2012