Lgica Computacional

Efran Soriano Cerrilla

Trabajo de Investigacin
Leyes de Identidad Cuantificadores Principios de Identidad Axioma de Identidad Certeza Lgica
By: Alfredo Israel Gmez Tenorio

Trabajo de Investigacin
Lgica Computacional

Leyes de Identidad
Una de las leyes bsicas del pensamiento correcto, cuya observancia contribuye a la certidumbre, la precisin y la claridad en el empleo de conceptos y juicios. El razonamiento. En el pensamiento, la ley de identidad es una regla normativa (principio) que estipula que en el proceso de raciocinio no se puede cambiar una idea por otra, un concepto por otro, pues de lo contrario surgiran los errores lgicos llamados "suplantacin del concepto" o "suplantacin de la tesis". La ley de identidad significa asimismo que no se p uede hacer pasar las ideas idnticas por distintas y, viceversa, las distintas por idnticas, es decir, que una cosa es idntica a si misma, lo que es, es; lo que no es, no es: ("A es A", o "no A es no A").

Los individuos que utilicen trminos y conceptos en un sentido distinto al habitual, sin prevenir de ello, violarn la ley de identidad. Se cometen a menudo errores lgicos al utilizarse homnimos o palabras de igual forma y de distinto sentido. Es imprescindible observar la ley de identidad en todas part es: en la ciencia, el arte, la enseanza, la vida cotidiana, etctera. La violacin de la ley de identidad provoca chistes, retrucanos y ambigedades. El cumplimiento de esta ley en el pensamiento ayuda a evitar la incomprensin.

Cuantificadores
Cuantificador, Otra forma de crear una proposicin o de cerrar una funcin proposicional abierta, es la Cuantificacin. Una proposicin abierta se cierra, si todas sus variables se cuantifican existen dos tipos de cuantificadores: Existencial Universal

Cuantificador Existencial , denota que existe al menos un elemento x

del Universo, para el cual p(x) es verdadera.

La proposicin es Verdadera, si existe al menos un elemento x del universo tal que p(x) sea verdadera. De lo contrario es falsa. Cuantificador Universal , Indica que una proposicin es Verdadera para

todos los valores de una variable en un universo en particular. p(x) es verdadera, para todos los valores de x en el dominio.

La proposicin es Verdadera, si para cada remplazo de x, p(x) es verdadera. Es falsa, si existe al menos un x para el cual p(x) es falsa.

Principios de Identidad
Este principio establece que todo objeto es idntico a s mismo y se simboliza de esta manera:

"A es A"
Decir que una cosa es idntica a s misma significa que una cosa es una cosa. Podemos decir que una cosa cambia constantemente, sin embargo, sigue siendo ese mismo objeto, pues si no fuese as, no podramos decir que ese objeto ha cambiado. Todas las cosas, por mucho que stas cambien, tienen algo que las identifica, un sustrato lgico que nos permite identificarlas en la totalidad de sus diversas situaciones. La identidad es una ley de nuestro pensamiento, ya que ste reclama buscar la identidad de las cosas.

Axioma
El mtodo axiomtico tambin llamado mtodo deductivo, es un mtodo de demostracin muy usado en Geometra y est basado en el encadenamiento sucesivo de verdades conocidas que conducen necesariamente a otra verdad que se trata de demostrar.

Axioma de identidad; Toda cantidad es igual a s misma.

Certeza Lgica
Estado de la mente en el que sta se adhiere a un juicio sin temor a errar. Por extensin se llaman cosas ciertas a aquellas que por su comprobabilidad o evidencia crean un estado de certeza. El estado de cer teza puede tener diversos orgenes, no slo la demostracin o la intuicin sensible; y se diferencia del estado de duda en sus diversos grados y versiones. La escuela escptica negaba todo fundamento al estado de certeza al afirmar que existen razones para dudar de todo.

Bibliografa
Gutmanova, Alexandra. Panov, Mijal. Petrov, Valili. "Lgica: en forma simple sobre lo complejo". Editorial Progreso, 1991. http://www.victorbravo.info/media/archivos/MD2 Logica.pdf http://www.conocimientosfundamentales.unam.mx/vol1/filo sofia/m01/t01/01t01s02a.ht ml