Please enable JavaScript.
Coggle requires JavaScript to display documents.
INTRODUCCIÓN: LÓGICA PROPOSICIONAL, EXPRESIONES (construye al lenguaje +…
INTRODUCCIÓN: LÓGICA PROPOSICIONAL
1. LENGUAJE NATURAL/ARTIFICIAL/FORMAL
2. PROPOSICIONES + LÓGICA PROPOSICIONAL
3. RAZONAMIENTO, VERDAD Y VALIDEZ
4. VERDAD DE LAS PROPOSICIONES
EXPRESIONES
(construye al lenguaje + forman ORACIÓN)
PROPOSICIONES
las que afirman / niegan algo, por lo que puede ser verdadero o falso
LÓGICA PROPOSICIONAL
se ocupa de las proposiciones (no las analiza, las toma como un TODO)
NATURAL
CONJUNTO DE SÍMBOLOS + REGLAS (manejar y operar con ellos)
GRAN RIQUEZA + CAPACIDAD EXPRESIVA
ARTIFICIAL
SUS SÍMBOLOS --> significados precisos y unívocos
GANAR EN EXACTITUD Y SEGURIDAD --> PERDER EXPRESIVIDAD
FORMAL
interesa FORMA (no contenido/significado)
UTILIZACIÓN SÍMBOLOS, FÓRMULAS, OPERACIÓNES
sólo son
PROPOSICIONES
cuando son VERDADERAS O FALSAS
PROPOSICIÓN: Sevilla es una ciudad (V)
PROPOSICIÓN: 5+3= 11 (F)
NO PROPOSICIÓN: La bici es verde (¿?)
SIMPLES
(NO PUEDE DESCOMPONERSE EN PROPOSICIONES)
COMPLEJAS
(PUEDE DESCOMPONERSE EN PROPOSICIONES)
RAZONAMIENTO
: serie de enunciados que a partir de unos enunciados iniciales se da una conclusión
RAZONAMIENTO tiene
VALIDEZ
si la conclusión se deduce necesariamente de las premisas
ENUNCIADOS pueden ser
VERDAD
/ FALSO, pero los razonamientos solo pueden ser VÁLIDOS / NO VÁLIDOS