LOGICA
La lógica simbólica es la rama de las matemáticas que
nos permite reconocer la validez de una argumentación,
así como también nos proporciona las herramientas de
razonamiento necesarias para elaborar demostraciones
irrefutables y convincentes.
La lógica es un método de razonamiento que no acepta
conclusiones erróneas. Esto se puede lograr definiendo
en forma estricta cada uno de los conceptos.
• PROPOSICION
Es una unidad semántica que solo puede ser verdadera
o solo puede ser falsa
Se representan generalmente simbólicamente con letras
y en orden alfabético
Ejemplos:
NIVELATORIO PRECALCULO
EJERCICIOS
• TABLA DE VERDAD
• NEGACION
Sea a una proposición, la negación de a, representada
simbólicamente por ¬a, es una nueva proposición, cuyo
valor de verdad está dado por la siguiente tabla de verdad
NIVELATORIO PRECALCULO
• CONJUNCIÓN
Sean a y b proposiciones, la conjunción entre a y b,
representada simbólicamente por a ∧ b, es una nueva
proposición, cuyo valor de verdad está dado por:
NIVELATORIO PRECALCULO
• DISYUNCIÓN
a) Verdadero b) Falso
NIVELATORIO PRECALCULO
• TAUTOLOGIA
CUANTIFICADOR UNIVERSAL ∀
(para todo…): se utiliza para afirmar que TODOS los elementos
de un conjunto, cumplen con una condición o propiedad
determinada. Esto se expresa como:
CUANTIFICADOR EXISTENCIAL ∃
(existe al menos un…): se utiliza para indicar que existen uno
o más elementos en el conjunto A que cumple(n) con una
condición o propiedad determinada.
NIVELATORIO PRECALCULO
• TIPOS DE CUANTIFICADORES
a.
b.