L gica Proposicional
Páginas: 3 (609 palabras)
Publicado: 25 de abril de 2015
Lógica Proposicional
La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular asercionessobre el mundo que nos rodea. La lógica proposicional permite el razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso deconectivas proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que laconforman.
Una proposición es una sentencia simple que tiene un valor asociado ya sea de verdadero (V), o falso (F). Por ejemplo:
Hoy es viernes
Ayer llovió
Hace frío
La lógica proposicional, permite laasignación de un valor verdadero o falso para la sentencia completa, no puede analizar las palabras individuales que componen la sentencia.
Las proposiciones pueden combinarse para expresar conceptosmás complejos. Por ejemplo:
hoy_es_viernes y hace_frío.
A la proposición anterior dada como ejemplo, se la denomina fórmula bien formada (que se abrevia “fbf” en castellano o wff de well-formedformula, en inglés). Una fórmula bien formada puede ser una proposición simple o compuesta que tiene sentido completo y cuyo valor de veracidad, puede ser determinado. La lógica proposicional proporcionaun mecanismo para asignar valores de veracidad a la proposición compuesta, basado en los valores de veracidad de las proposiciones simples y en la naturaleza de los conectores lógicos involucrados.Tablas de verdad:
Es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar. Fue desarrollada por Charles Sanders Peirce por los años1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
Negación:
La negación es un operador que se ejecuta, sobre un...
La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular asercionessobre el mundo que nos rodea. La lógica proposicional permite el razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso deconectivas proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que laconforman.
Una proposición es una sentencia simple que tiene un valor asociado ya sea de verdadero (V), o falso (F). Por ejemplo:
Hoy es viernes
Ayer llovió
Hace frío
La lógica proposicional, permite laasignación de un valor verdadero o falso para la sentencia completa, no puede analizar las palabras individuales que componen la sentencia.
Las proposiciones pueden combinarse para expresar conceptosmás complejos. Por ejemplo:
hoy_es_viernes y hace_frío.
A la proposición anterior dada como ejemplo, se la denomina fórmula bien formada (que se abrevia “fbf” en castellano o wff de well-formedformula, en inglés). Una fórmula bien formada puede ser una proposición simple o compuesta que tiene sentido completo y cuyo valor de veracidad, puede ser determinado. La lógica proposicional proporcionaun mecanismo para asignar valores de veracidad a la proposición compuesta, basado en los valores de veracidad de las proposiciones simples y en la naturaleza de los conectores lógicos involucrados.Tablas de verdad:
Es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar. Fue desarrollada por Charles Sanders Peirce por los años1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
Negación:
La negación es un operador que se ejecuta, sobre un...
Leer documento completo
Regístrate para leer el documento completo.