Professional Documents
Culture Documents
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
Proposiciones
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
1
Los valores de p y p son opuestos entre s
0
1
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
p 0 0 1 1
pq
0 1 0 1
0 1 1 1
8
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
0 1 0 1
0 1 1 0
9
Tabla de Verdad
p 0 0 1 1
pq
0 1 0 1
1 1 0 1
10
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
Bicondicional - Equivalencia
Se denota p q y se lee p si y slo si q.
o Forma Equivalente:
y
p 0 0 1 1
0 1 0 1
1 0 0 1
12
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
Los operadores de implicacin y bicondicional tienen precedencia inferior a los operadores de conjuncin y disyuncin, .
p q r: significa (p q) r
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
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
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