Mapa mental
Fundamentos de la Lógica Matemática y Cálculo Proposicional

Conteúdo do mapa
Fundamentos de la Lógica Matemática y Cálculo Proposicional
Operadores lógicos
- Negación ( ~ )
- Doble negación ~(~p)
- Conjunción (^)
- Disyunción inclusiva (v)
- Disyunción exclusiva (°)
UNIDAD 1: Paso 1- Reconocimiento contenidos del curso
Tablas de verdad
- es una tabla que muestra el valor de verdad de una proposición compuesta, así como de algunos casos de proposiciones simples
- Construcción de una tabla de verdad
- es una tabla que muestra el valor de verdad de una proposición compuesta, así como de algunos casos de proposiciones simples
Proposiciones condicionales
- Condicional o implicación ( )
- Bicondicional o equivalencia ( )
Clasificación de las proposiciones
- Proposiciones compuestas o moleculares
- Proposiciones simples o atómicas
Proposiciones y operadores lógicos
- Una proposición o enunciado constituye una oración que tiene un valor de verdad, es decir, puede ser verdadera o falsa, pero no ambas. La proposición es uno de los elementos fundamentales en lógica. Si la oración es una pregunta, una orden, carece de sentido o es muy imprecisa, entonces no puede ser clasificada como verdadera o falsa, y por tanto no puede ser una proposición.
Traducción del lenguaje natural al simbólico y del lenguaje simbólico al natural
- Lenguaje natural
- Lenguaje simbólico
- Traducir
Los argumentos: premisas y conclusiones
- Los razonamientos que estudia la lógica se llaman argumentos y su tarea consiste en descubrir qué es lo que hace que un argumento sea válido y constituya una inferencia correcta

