12365732
Descrição
Mapa Mental por Andres Arias, atualizado more than 1 year ago
|
Criado por Andres Arias
quase 7 anos atrás
|
|
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
Anexos de mídia
Quer criar seus próprios Mapas Mentais gratuitos com a GoConqr? Saiba mais.