Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA PROPOSICIONAL - Coggle Diagram
LÓGICA PROPOSICIONAL
PROPOSICIONES Y LÓGICA PROPOSICIONAL
Recibe el nombre de expresiones.
Cuando la expresión es gramáticamente correcta y tiene sentido completo recibe el nombre de oración.
Las oraciones enunciativas también llamadas enunciados o proposiciones afirman o niegan algo.
La lógica proposicional se ocupa de las preposiciones, estas no se analizan, se toman como un todo
PROPOSICIÓN SIMPLE: No se puede descomponer en partes que a su vez sean proposiciones.
PROPOSICIÓN COMPUESTA: Puede descomponerse en proposiciones simples. Estas se componen a través de ellas por medio de partículas "y" que sirven para conectar o unir proposiciones entre si.
EL RAZONAMIENTO - VERDAD Y VALIDEZ
Razonamiento: enunciados a partir de unos enunciados principales (permisas) y siguiendo unas reglas determinada, se infiere una conclusión.
Es válido si la conclusión se deduce necesariamente de las permisas.
Los enunciados pueden ser verdaderos o falsos, pero los razonamientos pueden ser válidos o no válidos.
El éxito de estos de razonamiento influyen en dos factores: la verdad de las permisas y la validez en la explicación de las reglas usadas para inferir en la conclusión.
LENGUAJE NATURAL - poseen un conjunto de:
Símbolos (léxico)
Reglas (sintaxis)
Operar (formación, concatenación y transformación de oraciones)
LENGUAJES ARTIFICIALES
Asignan a sus símbolos significados preciosos y unívocos.
Establecen reglas operativas eficaces para que construyan razonamientos fiables.
Trata de ganar exactitud y seguridad a costa de perder en expresividad.
LA VERDAD DE LAS PROPOSICIONES
La verdad o falsedad depende de su correspondencia con la realidad, depende de la experiencia.
De las proposiciones moleculares depende tanto del
valor veritativo de sus proposiciones atómicas como del tipo de relación que las une.
LENGUAJE FORMAL
Solo interesa la forma, no el contenido ni el significado empírico de sus símbolos