Escuela Politcnica Nacional

Curso Propedutico para Ingeniera

Nombre: Santiago Santamara
Paralelo: S-1 ICB606
Fecha: 13 sep. 2010
Asignatura: Matemticas

LOGICA MATEMTICA
Proposiciones
Simple
Es una oracin, frase o enunciado que tiene un valor de verdad, es decir, que puede ser
verdadero o falso pero nunca ambos a la vez
Quito es la capital de Pichincha. V
Ibarra es la capital de Loja. F
X + y = 18 No es proposicin
Compuesta
Es la unin de dos proposiciones simples por medio de un operador lgico
Juan estudia qumica reprueba el examen
Si maana es jueves, entonces ayer fue martes
Operadores Lgicos
Con dos proposiciones simples se puede formar una proposicin compuesta unindolas con
uno de los operadores lgicos que se describen a continuacin
Negacin (~)
Cambia el valor de verdad de la proposicin
~p: No juego futbol
Disyuncin Inclusiva ()
pq: Juego futbol estudio fisica
Disyuncion Exclusiva ()
pq: O miro tv o escucho radio


Conjuncin ()
pq: Bailo salsa y canto karaoke
Conjuncin Negativa ()
pq: Ni trabajo, ni estudio
Condiconal Simple ()
pq: Si salgo al cine, entonces comprar canguil
Bicondiconal ()
pq: Tendr dinero si y solo si trabajo duro

Valores de Verdad de los operadores
p q p q pq pq pq pq pq pq
V V F F V F V F V V
V F F V V V F F F F
F V V F V V F F V F
F F V V F F V V V V

Taurologia
Es una proposicion compuesta que es cierta para todos sus valores de verdad variables
Contradiccin
Es una proposicin compuesta que es falsa para todos sus valores de verdad variables
Leyes de algebra de proposiciones
Idem potencia
P P P
P P P
Asociativa
(P Q) R P (Q R)
(P Q) R P (Q R)
Conmutativa
P Q Q P
P Q Q P

Distributivas
P (Q R) (P Q) (P R)
P (Q R) (P Q) (P R)
Identidad
P F P
P V V
P F F
P V P
Absorcion
P (P Q) P
P (P Q) P
Complemento
P P V
P P F
(P) P
V F
F V
Morgan
(P Q) P Q
(P Q) P Q
Otras
P Q Q P
P Q
P Q (P Q) (Q P)
(P Q)(QP)
P Q P Q
P Q (P Q)
(P Q) ( P Q)