Please enable JavaScript.
Coggle requires JavaScript to display documents.
INTODUCCIÓN LÓGICA PROPOSICIONAL - Coggle Diagram
INTODUCCIÓN LÓGICA PROPOSICIONAL
1.1 Tipos de lenguaje
NATURAL:
Distintas lenguas
Distintas comunidades humanas
Conjunto de símbolos
Una serie de reglas
Operar
Infinitamente ricos en matices
Gran riqueza y capacidad expresiva
Falta de univocidad
Dificultad para realizar cualquier cálculo
ARTIFICIAL:
Significados precisos y unívocos
Estable con precisión reglas operativas
Razonamientos fiables
Gana en exactitud y seguridad
Pierde expresividad
Se emplea en campos muy restringidos
FORMAL:
Sólo interesa la forma
Cuenta la utilización de símbolos
Las fórmulas
Las operaciones se ajustan a las reglas establecidas
1.2 Proposiciones o enunciados
Expresiones
Oración
Oraciones enunciativas
La lógica proposicional
Se ocupa de las proposiciones
Pueden ser sometidas a análisis
Distinguir un sujeto y un predicado
La proposiciones no se analizan
Proposición simple
No se puede descomponer en partes
Proposición compleja
Puede descomponerse en proposiciones simples
1.3 Razonamientos
Serie de enunciados
Siguiendo unas reglas determinadas
Infiere una conclusión
El razonamiento es válido
Lo enunciados
Verdaderos
Falsos
Los razonamientos
Válidos
No válidos
1.4 La verdad de las proposiciones o enunciados
Depende de su correspondencia con la realidad
Depende de la experiencia
Depende de:
Valor veritativo de sus proposiciones atómicas
Tipo de relación que las une