Escolar Documentos
Profissional Documentos
Cultura Documentos
LÓGICA MATEMÁTICA
2.1. Proposición
•Enunciado.
•Parecer.
•Sentencia.
•Predicado.
PROPOSICIÓN
JUICIO OBJETO
Pero hay que tomar en cuenta que no son proposiciones aquellos enunciados
que expresen una pregunta, una orden o una exclamación.
50
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
Ejemplos
Los términos lógicos son: “y”, “no”, “ni…….ni”, “o”, “si entonces”, “si y solo si”.
Ejemplos:
51
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
Ejemplos:
Ejemplos:
P Q
V V
F F
P Q
V V
V F
F V
F F
52
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
P Q R
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
2.5. Negación
53
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
Ejemplo:
Afirmación Negación 𝒑 ¬𝑝
Verdadera Falsa V F
Falsa Verdadera F V
Ejemplos:
54
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
Proposición Abierta
Ejemplo:
- 𝑝: x es el hermano de Maria
- 𝑠: f es el más grande del Mundo.
- 𝑞: n es la vida del ser humano.
- 𝑢: m es el creador del Universo
Proposición Cerrada
Ejemplo:
2.7. Conjunción
Ejemplo:
50
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
TABLA DE VERDAD
𝒑 𝒒 𝒑˄𝒒
V V V
V F F
F V F
F F F
Ejemplo:
Tengo una moneda de 1000 pesos y tengo una moneda de 5000 pesos 𝑉
2. 𝑝: El sol es redondo
𝑞: La luna es cuadrada
El sol es redondo 𝑉
La luna es cuadrada 𝐹
El gato maúlla 𝑉
51
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
Domingo pertenece los meses del año y la capital del Ecuador es Manta 𝑉
TABLA DE VERDAD
𝒑 𝒒 (𝒑˄𝒒) ¬(𝒑˄𝒒)
V V V V
V F F F
F V F F
F F F F
Ejemplo:
2.8. Disyunción
1. Disyunción Inclusiva
2. Disyunción Exclusiva
52
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
TABLA DE VERDAD
𝒑 𝒒 (𝒑˅𝒒)
V V V
V F V
F V V
F F F
TABLA DE VERDAD
𝒑 𝒒 (𝒑˅𝒒) ¬(𝒑˅𝒒)
V V V F
V F V F
F V V F
F F F V
Ejemplos:
53
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
En este ejemplo la “𝑂” excluye la tercera posibilidad. Por eso se llama “𝑂”
excluyente. Se denota por ˅
Ejemplos:
TABLA DE VERDAD
𝒑 𝒒 (𝒑 ˅ 𝒒)
V V F
V F V
F V V
F F F
TABLA DE VERDAD
𝒑 𝒒 (𝒑˅𝒒) ¬(𝒑 ˅ 𝒒)
V V F V
V F V F
F V V F
F F F V
54
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
1 1 1 0 0 1 0 1 1 1 1 1 0
1 1 0 0 1 1 0 1 1 1 1 1 0
1 0 1 0 0 0 1 0 1 1 1 1 0
1 0 0 0 1 0 1 0 1 0 1 1 0
0 1 1 1 0 0 1 1 1 1 1 1 0
0 1 0 1 1 0 1 1 1 1 1 1 0
0 0 1 1 0 0 1 1 1 1 1 1 0
0 0 1 1 0 1 1 1 0 1 1 0
1 1 1 0 1 0 0 1 1
49
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
1 0 0 1 1 0 0 1 1
0 1 0 1 1 0 0 1 1
0 0 0 1 0 1 0 1 1
[¬( A B) ¬ ( A B) ] [¬( A B) ¬ ( A B) ]
A B ¬ (A B) A B ¬(A B) [¬(A B) ¬ (A B) ] ¬(A B) ¬ (A B) [¬(A B) ¬ ( A B) ] [¬(A B) ¬ (A B) ]
A B
1 1 1 0 1 0 0 0 0
1 0 1 0 0 1 0 1 1
0 1 1 0 0 1 0 1 1
0 0 0 1 0 1 1 1 1
50
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
2.9. Condicional
Ejemplo:
TABLA DE VERDAD
𝒑 𝒒 (𝒑 → 𝒒)
V V V
V F F
F V V
F F V
Negación de la Condicional
TABLA DE VERDAD
𝒑 𝒒 (𝒑 → 𝒒) ¬(𝒑 → 𝒒)
V V V F
V F F V
F V V F
F F V F
2.10. Bicondicinonal
49
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
TABLA DE VERDAD
𝒑 𝒒 (𝒑𝒒)
V V V
V F F
F V F
F F V
v(p q) = V
Negación
TABLA DE VERDAD
𝒑 𝒒 (𝒑𝒒) ¬(𝒑𝒒)
V V V F
V F F V
F V F V
F F V F
(p q) (q p)
50
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
P Q Pq qp (p q) (q p)
1 1 1 1 1
1 0 0 1 0
0 1 1 0 0
0 0 1 1 1
1 1 1 1 1 1
1 0 0 1 0 0
0 1 0 1 1 0
0 0 0 0 1 1
51
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
Proposición recíproca
Ejemplo:
Proposición inversa
Ejemplo:
Proposición contrarrecíproca
Ejemplo:
52
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
Ejemplo:
1 1 1 1 1 1
1 0 0 1 1 0
0 1 1 0 0 1
0 0 1 1 1 1
53
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
2.12. Tareas
Logros de aprendizaje
Identifica y desarrolla los conectivos lógicos con sus tablas de verdad.
Interpreta y analiza los razonamientos lógicos.
54
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
b) [ ( p q ) ] ( p q )
5) SEA:
p: Un cuadrado tiene 4 lados iguales.
q: Un cuadrado es una figura geométrica.
DESCRIBA CON ENUNCIADO VERBAL Y ESCRITO LAS SIGUIENTES
EXPRESIONES.
a) p .
b) (p q )
c) pq
d) (p q )
55
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
56
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
b. La reciproca:
Si 12 – 5 = 4 entonces 4 + 6 =10; q p
c. La directa:
Si 4 + 6 = 10 entonces 12 – 5 = 4; p q
d. La contraria:
Como 4 + 6 no es igual a 10 entonces 12 – 5 no es igual a 4; ¬ p ¬ q.
b.- -(¬A C)
c.- (¬ p q ) =>[( p r) ¬ q]
3+2=4
3 + 2 = 5.
3+2=4
Tarea resulta en páginas: ….. - …..
57
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
a. 6 + ( - 6) = 0 ( 8) ( 1/8 ) = 1
6 + ( - 6) = 0
6–6=0 V
0=0
( 8 ) ( 1/8 ) = 1
1=1 V
La luna es cuadrada
El sol es redondo
4.-COMPROBAR LAS SIGUIENTES TABLAS DE VERDAD PARA CADA UNO DE LOS SIGUIENTES
INCISOS SI LAS PROPOSICIONES SON EQUIVALENTES.
a) ( p q ) p q
b) [(p q ) ( q r ) ] r
5.-SEAN P: HACE FRIÓ Y Q: ESTA LLOVIENDO. DESCRIBIR CON UN ENUNCIADO ESCRITO LAS
SIGUIENTES EXPRESIONES:
a) ¬ p
b) ¬ p q
58
PORTAFOLIO MATEMÁTICAS DISCRETAS FACCI – ULEAM
c) ¬ (¬ p q)
d) ¬pq
e) ¬ ( p q)
f) ¬ (p ¬ q)
g)
6.- Escriba el enunciado en forma simbólica P , Q y R
Es falso que Carlos no estudia y Janeth cocina o José canta entonces Janeth no
cocina, si y solo si, no es verdad que José no canta entonces Janeth no cocina o
no es verdad que Carlos no estudia entonces José canta.
59