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
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