Universidad Técnica Particular de Loja

Sistemas Informáticos y Computación

MATEMÁTICAS
DISCRETAS

LÓGICA Y DEMOSTRACIONES
Introducción
Proposiciones

Docente:
Jorge Cordero Zambrano

CIENCIAS DE LA COMPUTACIÓN Y ELECTRÓNICA

2018
Contenidos

➢ Competencias
➢ Conocimientos previos
➢ Plan Docente
➢ Lógica y demostraciones
➢ Proposiciones
➢ Clases de proposiciones

➢ Tablas de verdad

➢ Conectores lógicos

➢ Ejemplos
Competencias
Plan Docente

Genéricas de la UTPL
Comunicación oral y escrita.
Orientación a la innovación y a la investigación.
Pensamiento crítico y reflexivo.
Trabajo en equipo.
Específicas de la Titulación
Analizar problemas de programación y plantear soluciones
mediante métodos computacionales.
Desarrollar habilidades de pensamiento autónomo en procesos
de ciencia y tecnología.
Evaluar, diseñar y aplicar técnicas y modelos de representación
del conocimiento para la resolución de problemas.
Competencias
Plan Docente

Componente académico
 Analizar y resolver problemas computacionales

utilizando lógica matemática, algebra booleana,

circuitos combinatorios.
 Aplicar grafos, árboles y modelos de redes, para la

solución de problemas afines al área

computacional, utilizando operaciones de recorrido,
búsqueda y ordenamiento.
Conocimientos previos y actividades
Plan Docente

Terminología básica de fundamentos informáticos y

fundamentos matemáticos.

Actividades:
▪ Participación en clases.
▪ Desarrollo de ejercicios.
▪ Control de lectura.
▪ Presentación de trabajo individual.
▪ Evaluación parcial.
▪ Taller.
▪ Evaluación bimestral.
Lógica y demostraciones

 ¿Qué es lógica?
Lógica es el estudio del razonamiento.
La lógica es la ciencia que estudia los procedimientos
para distinguir si un razonamiento es correcto o incorrecto.

 Aporte de la lógica a la matemática

La simbología que usa la lógica, ayuda a la Matemática
en todos sus razonamientos.
La LÓGICA MATEMÁTICA analiza los tipos de
razonamiento utilizando modelos matemáticos con ayuda
de las PROPOSICIONES LÓGICAS.
Proposiciones

 Proposición.-
En un enunciado que puede ser evaluado como
VERDADERO o FALSO, pero no ambos.
La verdad o falsedad de una proposición es lo que se
llama valor de verdad.

V
Hoy es jueves 2+2=4 V
F

5+2=8 F
Proposiciones

 ¿Cuáles de los siguientes enunciados son

proposiciones?
a) Chile está en Europa.
b) El balón es cuadrado.
c) Martes 13, no te cases ni te embarques.
d) 4+4=9
e) ¿Lloverá mañana?
f) Has el bien, sin mirar a quién.
g) 7 es un número primo.
h) |-5|=5
Proposiciones

 ¿Cuáles de los siguientes enunciados son proposiciones?

¿Cómo estás? 
Él es un estudiante universitario. Depende de la referencia para
el pronombre él.

Ella vive en San Sebastián. Depende de la referencia para

el pronombre ella.

Para algunos valores de él o ella la frase es verdadera, para otros es falsa.

Enunciado abierto

(x+y)2=x2+2xy+y2 x,y
Proposiciones

 Enunciado abierto – función proposicional.-

Es toda expresión que se refiere a números; está
conformado por constantes y variables. Tiene la
propiedad de transformarse en proposición al sustituir
la variable o variables por valores constantes.
¿Para que valor de x el enunciado es VERDADERO?
a) 2x+5=3x+1 x = 4 (V)
b) 5x+12=x+16 x = 1 (V)

c) 5x-4=2(x-2) x = cualquier valor (es una identidad)

d) 5x – 2x = 3x x = 0 (V)
Proposiciones representación

 Para representar las proposiciones, se usarán

variables, como p, q, r, s, ….

También se usará la notación

p: 2 + 2 = 4
para definir que p es la proposición 2 + 2 = 4
Clases de proposiciones

 Proposiciones simples.- un solo enunciado, no está

afectada por conectores lógicos.
 Proposiciones compuestas.- constan de 2 o más
proposiciones, unidas mediante uno o más de los
conectores lógicos.

Simple p
Proposición
Compuesta pq
Tablas de verdad

 La tabla de verdad de una proposición P, formada

por las proposiciones individuales p1, . . . , pn,
enumera todas las posibles combinaciones de los
valores de verdad para p1, . . . , pn, donde V
denota verdadero y F denota falso, y da la lista de
valores de verdad de P para cada combinación.
 ¿Cómo crear una tabla de verdad?

Si tenemos n proposiciones obtendremos 2n posibles

combinaciones.
Tablas de verdad

 Si tenemos n proposiciones obtendremos 2n

posibles combinaciones.
1 proposición simple 21 = 2 combinaciones (filas)
2 proposiciones simples 22 = 4 combinaciones (filas)
3 proposiciones simples 23 = 8 combinaciones (filas)
p q r
V V V
p p q V V F
V V V V F V
F V F V F F
F V F V V
F F F V F
F F V
F F F
Conectores lógicos

 Son símbolos que sirven para conectar 2 o más

proposiciones simples.
 Negación p
 Conjunción ( p  q )
 Disyunción ( p  q )
 Condicional ( p  q )
 Bicondicional ( p  q )
Conector lógico: Negación (  )

 La negación de p, denotada por ￢p, es la

proposición no p.

p p
p: Madrid es la capital de Francia.
V F
p: No ocurre que Madrid es la capital de
F V Francia.
p: Madrid no es la capital de Francia
▪ No…
▪ No ocurre que…
El valor de verdad del enunciado p será
▪ No es cierto que…
▪ No es el caso que…
FASO si p es VERDADERA y viceversa.
▪ Es falso que…
▪ No sucede que…
Conector lógico: Conjunción (  )

 La conjunción de p y q, denotada por p ∧ q, es la

proposición p y q.
p q pq
V V V p: Está lloviendo,
V F F q: Hace frío,
F V F
F F F p  q: Está lloviendo y hace frío.

▪ Además Está lloviendo, además hace frío.

▪ Pero
El valor de verdad del enunciado compuesto
▪ Sin embargo
▪ Aunque
p  q será VERDADERO solamente si p y q
▪ También son verdaderas, en otro caso será FALSO.
▪ Aún
Conector lógico: Disyunción (  )

 La disyunción de p y q, denotada por p ∨ q, es la

proposición p o q.
p q pq
V V V p: Está lloviendo,
V F V q: Hace frío,
F V V
F F F p v q: Está lloviendo o hace frío.

▪ O
▪ A menos que
El valor de verdad del enunciado compuesto
p v q será FALSO solamente si p y q son
falsas, en otro caso será VERDADERO.
Precedencia del operador

 En las expresiones que incluyen algunos o todos los

operadores ￢, ∧ y ∨, en la ausencia de paréntesis,
primero se evalúa ￢, después ∧, al final ∨.
 ￢p∨q∧r
Primero se evalúa ￢p,
después se evalúa q ∧ r,
por último, se evalúa ￢ p ∨ q ∧ r
Valor de verdad

 Suponiendo que p es verdadero, q es verdadero,

encuentre el valor de verdad de cada proposición.
￢p falso
pq verdadero
pq verdadero
 Suponiendo que p es verdadero, q es falso,
encuentre el valor de verdad de cada proposición.
￢q verdadero
p￢q verdadero
pq verdadero
Contruir la tabla de verdad

 (p   q)

p q q (p   q) p   q
V V F F V F F V
V F V V V V V F
F V F F F F F V
F F V F
F F V F
Contruir la tabla de verdad

 (p  q)  p

p q p p  q (p  q)  p  p  q  p
V V F V V F V V V V V
V F F F F F V F F F V
F V V V F V F V V F F
F F V V F
V F V F F F
Contruir la tabla de verdad

 (p  q)   p

p q pq p (p  q)   p
V V V F F
V F F F F
F V F V F
F F F V F
Contruir la tabla de verdad

 ( p ∨ q) ∧ (￢p ∨ q) ∧ ( p ∨￢q) ∧ (￢p ∨￢q)

p q ( p ∨ q) (￢p ∨ q) ( p ∨￢q) (￢p ∨￢q)

V V V V V F F
V F V F V V F
F V V V F V F
F F F V V V F
Contruir la tabla de verdad

 ￢( p ∧ q) ∨ (￢q ∨ r )

p q r (p  q) (p  q) q (q  r) ￢( p ∧ q) ∨ (￢q ∨ r )

V V V V F F V V
V V F V F F F F
V F V F V V V V
V F F F V V V V
F V V F V F V V
F V F F V F F V
F F V F V V V V
F F F F V V V V
Determine valor de cada proposición

5<9y9<7 falso

No ocurre que (9 > 5 y 7 > 9) verdadero

5 < 9 o no ocurre que (9 < 7 y 5 < 7) verdadero

Formule expresión simbólica en palabras

p: Leo toma ciencias de la computación.

q: Leo toma matemáticas.
p Leo no toma ciencias de la computación.
p ∨ q Leo toma ciencias de la computación o
Leo no toma matemáticas.
Formule expresión simbólica en palabras

p: Hoy es lunes.
q: Está lloviendo.
r: Hace calor.
p ∨ q Hoy es lunes o está lloviendo.
( p ∧ q) ∧￢(r ∨ p)
(Hoy es lunes y está lloviendo) y no ocurre que
(hace calor o que hoy es lunes).