UNIVERSIDAD CENTRAL DEL ECUADOR

CURSO DE NIVELACIN DE CARRERA MATEMATICA

#31_Cuesta_Karla

LGICA MATEMTICA

Es el estudio que nos ayuda a distinguir un razonamiento

dando un valor de verdad a un argumento dado.

Proposiciones Tabla de verdad Valor de verdad Equivalencia e implicacin Algebra proposicional CONECTORES U OPERADORES LOGICOS
lgica
Nos permiten
Es una Son las operaciones de conjuncin, disyuncin
Se llama valor de verdad a negacin, sus teoremas y propiedades se
Demostrar la funcin de un una proposicin a la verdad o Equivalencia Implicacin deducen de las mismas
operador lgico con todas sus falsedad de su contenido. CONECTIVOS LGICOS ELEMENTALES:
Oracin que puede ser lgica lgica
*verdadera o falsa posibles variaciones. *
El valor puede ser verdadero NOMBRE SIMBOLO TRADUCCIN
Puede ser:
o falso y se representa Dos El significado es NEGACIN ~ No, no es el caso
Puede ser proposiciones P que la
V=1; F=0 CONJUNCIN Y
Puede ser y Q son proposicin de
lgicamente la izquierda es DISYUNCIN (INCLUSIVA) V o
*Abierta: contiene variables que pueden
sustituirse por valores: equivalentes verdadera, DISYUNCIN EXCLUSIVA V oo
*Tautologa: Todos los resultantes entonces la
x+5=50 CONDICIONAL si ., entonces
son verdaderos PQ proposicin de
y+10=62 la derecha es BICONDICIONAL si y slo si
verdadera.
*Cerrada: su veracidad es comprobada
mediante mtodos matemticos: Si P entonces
Q EJEMPLOS
2+5=7 P =>Q
*LA NEGACIN (~):
13+5=18 Algn elefante es de color rosa
*Simple: no se relaciona con otras Ningn elefante es de color rosa
proposiciones: LA CONJUNCIN ()
*Contradiccin: Todos los valores p: la funcin es creciente
La casa es amarilla resultantes son falsos q: la funcin esta definida para los nmeros positivos
El gorro es azul As tambin: p ^ q, donde
EJEMPLOS LA DISYUNCIN EXCLUSIVA()
*compuesta: dos proposiciones unidad por
Hoy comprar un libro o ir al cine; se sobrentiende que una de las dos debe
un conector lgico:
ser verdadera, pero no la dos
Juan tiene el cabello largo y negro EL CONDICIONAL ()
*Contingencia: todos los resultantes
Hctor es comerciante y Vctor es son mezclados
Por ejemplo, si p es llueve y q es hay nubes entonces:
abogado p q es si llueve entonces hay nubes
Verdaderos y falsos
EL BICONDICIONAL()
p q: : 10 es un nmero impar si y solo si 6 es un nmero primo