Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica proposicional - Coggle Diagram
Lógica proposicional
Proposiciones o Enunciados
Oración
expresión del lenguaje
natural es gramaticalmente correcta y tiene un sentido completo recibe
oraciones enunciativas,
son aquellas oraciones que afirman o niegan algo
Por lo tanto pueden ser
Verdaderas
Falsas
Lógica proposicional
Se ocupa
De las proposiciones
Tanto lógica como gramaticalmente, las oraciones pueden ser sometidas a análisis.
Las proposiciones no se analizan
Se toman como un todo en bloque
Proposición Simple o Complejas
Simple
no puede descomponerse en partes
Compleja
puede descomponerse en proposiciones simples
El razonamiento. La verdad y la Validez
Razonamiento
serie de enunciados
que a partir de
Reglas
Enunciados iniciales
Se infiere una conclusión
Razonamiento valido
Conclusión de los enunciados (premisas)
es o no válido en virtud de su forma o
estructura
no en virtud de la verdad o falsedad de las premisas.
Enunciados
Verdaderos
Falso
Razonamientos
Validos
No validos
Tipos de Lenguas
Lenguaje natural
Las distintas lenguas que utilizan
Los miembros de distintas comunidades humanas
Poseen
Símbolos (Léxico)
Operar con ellos
(formación, concatenación y
transformación de oraciones)
Reglas (Sintaxis)
Ricos en Matices
Lenguas artificiales
Construidas por
Las distintas ciencias
símbolos
significados precisos y unívocos
Reglas
operativas eficaces que permitan construir razonamientos fiables.
Se trata de ganar en
exactitud y seguridad a costa de perder en expresividad.
Lenguaje formal
el significado de los símbolos
no interesa
solo interesa la formula
solo cuenta
formulas
se ajustan a las reglas establecidas
la utilización de los símbolos
operaciones
Verdad de las proposiciones
proposiciones atómicas
Verdad o falsedad
depende de
correspondencia con la realidad,
proposiciones moleculares
Verdad o Falsedad
depende de
valor veritativo de sus proposiciones atómicas
tipo de relación que las une.
