Mindmap
Lógica proposicional
Inhalt der Mindmap
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
- 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
