Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA PROPOSIONLA - Coggle Diagram
LÓGICA PROPOSIONLA
-
Lenguajes artificiales
Símbolos con significados precisos y estableciendo con precisión reglas operativas que permitan construir razonamientos fiables.
-
Lenguajes formales
Sólo interesa la forma, no el contenido
o significado empírico de sus símbolos.
Utilización de los símbolos, las fórmulas
y las operaciones se ajuste a las reglas establecidas.
-
Un razonamiento es una serie de enunciados en la cual, a partir de unos enunciados iniciales (premisas) y siguiendo unas reglas determinadas, se infiere una conclusión.
Los enunciados pueden ser verdaderos o
falsos
Los razonamientos sólo pueden ser válidos o no válidos, correctos o incorrectos.
-