Você está na página 1de 18

Matemticas Discretas

Unidad I: Lgica y Algebra Booleana

Proposiciones
Son oraciones declarativas que son verdaderas o falsas, pero no ambas cosas a la vez. Ejemplos: p: Ana es ta de Juan y prima de Jos q: La Tierra es redonda r: 7+29=36 s: 2+3=7
2

Matemtica Discreta Semestre B-2006

Proposiciones

Qu hora es? x+5= 15 x+y= z Haz tu tarea. El sol saldr maana.

Matemtica Discreta Semestre B-2006

Proposiciones

Proposiciones Primitivas: cuando no hay forma de descomponerlas en otras proposiciones. r: 7+29=36 Proposiciones Compuestas: se forman a partir de las proposiciones existentes, usando operadores lgicos. p: Ana es ta de Juan y prima de Jos q: Ana es ta de Juan r: Ana es prima de Jos
Matemtica Discreta Semestre B-2006
4

Tablas de Verdad

Muestran las relaciones entre los valores de verdad de las proposiciones.

Los valores de verdad se pueden expresar como: Verdadero: 1 V p p Falso: 0 F 1 F 0 V


Matemtica Discreta Semestre B-2006
5

Proposiciones y Conectivas Lgicas


Negacin

de p (NOT): Se escribe p y se lee no p


Tabla de Verdad

q: La Tierra no es redonda r: No es cierto que hoy es Viernes

1
Los valores de p y p son opuestos entre s

0
1

Matemtica Discreta Semestre B-2006

Proposiciones y Conectivas Lgicas

Conjuncin (AND): Se denota p q y se lee p y q

Est haciendo sol y est nublado Est haciendo sol, pero est nublado

Tabla de Verdad

p 0 0 1 1

pq

0 1 0 1

0 0 0 1

Slo es verdadera cuando p y q son verdaderas.


7

Matemtica Discreta Semestre B-2006

Proposiciones y Conectivas Lgicas

Disyuncin (OR): Inclusiva: Se denota p q y se lee p o q.


p: Soy alto o calvo
Tabla de Verdad

p 0 0 1 1

pq

Una o la otra o ambas proposiciones son verdaderas

0 1 0 1

0 1 1 1
8

Matemtica Discreta Semestre B-2006

Proposiciones y Conectivas Lgicas

Disyuncin:

Exclusiva: Se denota p _ q
p: Soy alto o bajo q: blanco o negro
Tabla de Verdad

p
0 0 1 1

p _ q

Una o la otra, pero no ambas proposiciones son verdaderas

0 1 0 1

0 1 1 0
9

Proposiciones y Conectivas Lgicas

Implicacin: (declaracin condicional) Se denota p q y se lee p implica q.


p es la hiptesis y q la conclusin.

Si llueve entonces me mojar

Tabla de Verdad

o Formas Equivalentes: p es una condicin


suficiente para q p slo si q q es necesario para p q se deduce de p

p 0 0 1 1

pq

0 1 0 1

1 1 0 1
10

Matemtica Discreta Semestre B-2006

Proposiciones y Conectivas Lgicas

Implicacin: El concepto matemtico de implicacin, es independiente de la relacin causa-efecto entre hiptesis y conclusin. Ejemplo: Si hoy es viernes, entonces 2 + 3 = 6 En razonamientos matemticos, la implicacin es una forma ms general que el lenguaje natural.
11

Proposiciones y Conectivas Lgicas

Bicondicional - Equivalencia
Se denota p q y se lee p si y slo si q.

Puedes tomar el avin si, y slo si, compras el boleto.


Tabla de Verdad

o Forma Equivalente:
y

p 0 0 1 1

p es una condicin necesaria suficiente para q q si y slo si p Si p entonces q y viceversa

0 1 0 1

1 0 0 1
12

Matemtica Discreta Semestre B-2006

Precedencia de Operadores Lgicos

Los parntesis especifican el orden en el que se deben aplicar los operadores lgicos en una proposicin.
(p q) (r): es la conjuncin de p q y r

El operador negacin se aplica antes que los otros operadores lgicos.


p q: es la conjuncin de p y q

El operador de conjuncin precede siempre al de disyuncin.


p q r: significa (p q) r y no p (q r)
Matemtica Discreta Semestre B-2006
13

Precedencia de Operadores Lgicos

Los operadores de implicacin y bicondicional tienen precedencia inferior a los operadores de conjuncin y disyuncin, .
p q r: significa (p q) r

En resumen: Operador ) Precedencia 1 2 3 4 5 6


Matemtica Discreta Semestre B-2006
14

Traduccin de Proposiciones

De los smbolos al lenguaje natural: Sean: p: Hay conexin a Internet q: El archivo no contiene virus r: Envo el correo

la proposicin p q r significa:
Si hay conexin a Internet y el archivo no

contiene virus, entonces envo el correo.


Matemtica Discreta Semestre B-2006

15

Traduccin de Proposiciones

Del lenguaje natural a los smbolos: No gano el concurso, si tengo menos de 18 aos, a no ser que mida ms de 1,70 metros. p: Gano el concurso q: Tengo menos de 18 aos r: Mido ms de 1,70 metros q r p
Matemtica Discreta Semestre B-2006
16

Tabla de la verdad de una proposicin compuesta


Sea (p q) (q p). Calcule su tabla de verdad: p q p q q p q p (p q) (q p) 0 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1
17

Tautologas vs Contradiccin
Tautologa

(To):

Una proposicin compuesta es una tautologa si es verdadera para todas las asignaciones de valores de verdad. (p q) (q p)

Contradiccin (Fo):
Si una proposicin compuesta es falsa para todas sus asignaciones de valores de verdad, entonces es una Contradiccin. (p p)
18

Matemtica Discreta Semestre B-2006