Please enable JavaScript.
Coggle requires JavaScript to display documents.
INTRODUCCIÓN LÓGICA PROPOSICIONAL - Coggle Diagram
INTRODUCCIÓN LÓGICA
PROPOSICIONAL
LENGUAJE NATURAL,
ARTIFICIAL Y FORMAL
Lenguajes Naturales
Tiene un conjunto de
símbolos
y una serie de
reglas
para
operar
con ellos
Son el producto de muchos siglos de evolución
Distintas lenguas que habitualmente utilizan los miembros de distintas comunidades humanas para comunicarse
Son infinitamente ricos en matices
Poseen una gran riqueza y capacidad expresiva
Lenguajes Artificiales
Un lenguaje menos ambiguo y, por tanto, más preciso y operativo.
Asigna a sus símbolos significados precisos y unívocos
Se trata de ganar en
exactitud y seguridad a costa de perder en expresividad
Se utiliza mucho en física y química
Lenguaje Formal
No interesa demasiado el significado de los símbolos
Interesan relaciones entre los símbolos
Solo interesa la forma, no el contenido ni el significado
EL RAZONAMIENTO:
VERDAD Y VALIDEZ
No Válido
No Válido = falso
si la premisa es falsa la conclusión también
Razonamiento
Es una serie de enunciados en la cual, a partir de unos enunciados iniciales y siguiendo unas reglas determinadas, se infiere una conclusión.
Los enunciados pueden ser verdaderos o
falsos, pero los razonamientos sólo pueden ser válidos o no válidos, correctos o incorrectos.
Válido
Si la premisa es válida la conclusión también
si la conclusión se deduce necesariamente de las premisas
Válido = verdadero
LA VERDAD DE LAS
PROPOSICIONES
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
La verdad o falsedad de las proposiciones atómicas depende de su correspondencia con la realidad
LAS PROPOSICIONES Y LA
LÓGICA PROPOSICIONAL
Proposiciones
Si una expresión del lenguaje
natural es gramaticalmente correcta y tiene sentido completo =
oración
.
proposiciones
= son aquellas oraciones que afirman o niegan algo y que, por tanto,
pueden ser
verdaderas
o
falsas
.
Expresiones
= lenguajes están construidos a partir de combinaciones de signos
Lógica proposicional
Pueden ser sometidas a análisis (las proposiciones)
Se establece una relación entre dos clases o conjuntos
Se ocupa de las proposiciones
Lógica de clases
= interpretar los conjuntos
Lógica proposiciona
=l las proposiciones no se analizan, sino que se toman
como un todo, en bloque.