Ingeniera de Telecomunicaciones V Semestre

Son oraciones declarativas que son verdaderas o falsas, pero no ambas cosas a la vez.
Ejemplos: p: Ana es ta de Juan q: La Tierra es redonda r: 7+29=36 s: Presionar Control Z para interrumpir el proceso

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
4

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

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

p 0 1

p F V
5

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

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

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

Disyuncin:
Exclusiva:

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

p
0 0 1 1

pq _

Una o la otra, pero no ambas proposiciones son verdaderas

0 1 0 1

0 1 1 0
9

Condicional: (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

p 0 0 1 1

pq

0 1 0 1

1 1 0 1

10

Condicional: El concepto matemtico de la condicional, es independiente de la relacin causaefecto entre hiptesis y conclusin.

Ejemplo: Si hoy es viernes, entonces 2 + 3 = 6

En razonamientos matemticos, la condicional es una forma ms general que el lenguaje natural.
11

Bicondicional
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

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
13

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
14

De los smbolos al lenguaje natural: Sean: p: Hay conexin a Internet q: El archivo 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.

15

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
16

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

Tautologa

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

(To):

Contradiccin (Fo):

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

18