12365732
Beschreibung
Mindmap von Andres Arias, aktualisiert more than 1 year ago
|
Erstellt von Andres Arias
vor fast 7 Jahre
|
|
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
Medienanhänge
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.