12365732
Description
Mind Map by Andres Arias, updated more than 1 year ago
|
Created by Andres Arias
about 6 years ago
|
|
Lógica proposicional
- sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas,
llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras
proposiciones de mayor complejidad.
- Conectivas lógicas
- Leyes notables en lógica
- Ley de doble negación
- Leyes de idempotencia
- Leyes de De Morgan
- Leyes distributivas
- Leyes asociativas
- Leyes conmutativas
- Ley de doble negación
- Límites de la lógica proposicional
- a maquinaria de la lógica proposicional permite formalizar y
teorizar sobre la validez de una gran cantidad de argumentos.
Sin embargo, también existen argumentos que son
intuitivamente válidos, pero cuya validez no se puede probar por
la lógica proposicional. Por ejemplo, considérese el siguiente
argumento:
- a maquinaria de la lógica proposicional permite formalizar y
teorizar sobre la validez de una gran cantidad de argumentos.
Sin embargo, también existen argumentos que son
intuitivamente válidos, pero cuya validez no se puede probar por
la lógica proposicional. Por ejemplo, considérese el siguiente
argumento:
- Tablas de verdad
- La tabla de verdad de una fórmula es una tabla
en la que se presentan todas las posibles
interpretaciones de las variables proposicionales
que constituye la fórmula y el valor de verdad
de la fórmula completa para cada interpretación
- Por ejemplo, la tabla de verdad para la fórmula ¬(p V q) -> ( p -> r)
- Por ejemplo, la tabla de verdad para la fórmula ¬(p V q) -> ( p -> r)
- La tabla de verdad de una fórmula es una tabla
en la que se presentan todas las posibles
interpretaciones de las variables proposicionales
que constituye la fórmula y el valor de verdad
de la fórmula completa para cada interpretación
- Conectivas lógicas
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.