Please enable JavaScript.
Coggle requires JavaScript to display documents.
Introducción a la lógica proposicional - Coggle Diagram
Introducción a la lógica proposicional
LAS PROPOSICIONES Y LA LÓGICA PROPOSICIONAL
Lógica proposicional
Denominada también Lógica de enunciados se
ocupa de las proposiciones.
Expresiones
Una expresión del lenguaje
natural es gramaticalmente correcta y tiene un sentido completo recibe el nombre de oración.
En la Lógica proposicional las proposiciones
Proposición simple
Proposición compleja
LENGUAJE NATURAL, LENGUAJE ARTIFICIAL Y LENGUAJE FORMAL
Lenguajes naturales
Reglas
Símbolos
Operar
Lenguajes formales
La forma
No importa ni el contenido
ni el significado empírico de sus símbolos.
Lo único que cuenta es:
Símbolos
Fórmulas
Reglas establecidas.
Lenguajes artificiales
estableciendo
con precisión reglas operativas eficaces que permitan construir razonamientos fiables.
Se trata de ganar en
exactitud y seguridad a costa de perder en expresividad.
Sus símbolos significados precisos y unívocos,
EL RAZONAMIENTO, VERDAD Y VALIDEZ
Se dice que el razonamiento es válido si la conclusión se deduce necesariamente de las premisas.
Los enunciados pueden ser verdaderos o
falsos.
Un razonamiento es una serie de enunciados en la cual, a partir de unos enunciados iniciales
Pero los razonamientos sólo pueden ser válidos o no válidos
LA VERDAD DE LAS PROPOSICIONES
La verdad o falsedad de las proposiciones atómicas depende de su correspondencia con la realidad, es
decir, depende de la experiencia.
La verdad o falsedad de las proposiciones moleculares depende tanto del
valor veritativo de sus proposiciones atómicas como del tipo de relación que las une.