LÓGICA MATEMÁTICA

INTRODUCCIÓN
Lógica matemática
Proposición
Conectores lógicos
Tabla de verdad o tabla de verificación
Circuito lógico
 INTRODUCCIÓN

Lógica matemática

Es la ciencia que estudia los métodos y principios

para distinguir si un razonamiento es correcto o
incorrecto.
 INTRODUCCIÓN
Proposición
-Es una frase u oración en la que se declara algo y a la cual
podemos asignar un valor Verdadero o Falso, pero no
ambos al mismo tiempo.

-Representación simbólica: Mediante una letra minúscula

como p, q, r, s, t.

-Hay proposiciones simples y compuestas

 INTRODUCCIÓN
Ejemplos de proposiciones

1) El número 5 es un número par

2) Todos los números enteros son positivos
3) Hoy es sábado
4) Ecuador se encuentra en el continente europeo
5) 12+13=25
6) Londres es la capital de Venezuela
 INTRODUCCIÓN
Casos en los que no son proposiciones

1) ¿Cuál es la temperatura promedio de Quito en el día?

2) ¿Cómo te fue en el examen?
3) ¡Hola!
4) ¡Por favor cierra la puerta!
5) ¿Dónde vives?
6) ¡Está entrando agua por la ventanilla de atrás!
 INTRODUCCIÓN
Proposiciones simples vs proposiciones compuestas
Ejemplo 1
Proposición Simbología
Los anfibios se encuentran en el p Proposición simple 1
agua fresca.
Los anfibios se encuentran en la q Proposición simple 2
tierra cerca de sitios húmedos.
Los anfibios se encuentran en el p∨q Proposición compuesta
agua fresca o en la tierra cerca de
sitios húmedos.
 INTRODUCCIÓN
Proposiciones simples vs proposiciones compuestas
Ejemplo 2
Proposición Simbología
Antonio es un buen jugador. p Proposición simple 1

Antonio participará en el q Proposición simple 2

partido del colegio.
Si Antonio es un buen jugador p→q Proposición compuesta
entonces participará en el partido
del colegio.
 INTRODUCCIÓN
Conectores lógicos
Conector Simbología Significado
Negación ~, ¬ “No”, “Es falso que”
Conjunción ∧ “Y”
Disyunción ∨ “O”
Disyunción exclusiva ⊻ “O p o q” pero no ambos
Implicación o →,⇒ “Entonces”
condicionalidad
Doble implicación o ↔, ⇔ “Si y solo sí”
bicondicionalidad
Tabla de verdad o tabla de verificación

Número de filas= 𝟐𝒏 Donde n= número de proposiciones simples

Columnas

Filas
 CONECTORES LÓGICOS
NEGACIÓN
Proposición: El viento sopla muy fuerte
p: El viento sopla muy fuerte
~p: El viento no sopla muy fuerte
Realización de la tabla de verificación
1) Determinar el número de filas NF= 𝟐𝒏 = 21 =2
2) Determinar el número de columnas
3) Incluir los valores V o F dentro de la tabla
Tabla de verificación
p ~p
V F
F V
 CONECTORES LÓGICOS
CONJUNCIÓN
Proposición 1: Los iPhone son celulares inteligentes
Proposición 2: Los iPhone son fabricados por Apple
p∧q: Los iPhone son celulares inteligentes y son fabricados por Apple
Tabla de verificación
NF= 𝟐𝒏 = 22 =4 filas
p q p∧q
V V V
V F F
F V F
F F F
Regla: El producto lógico es V si los dos son verdaderos
 CONECTORES LÓGICOS
DISYUNCIÓN
Proposición 1: Los iPhone son celulares inteligentes
Proposición 2: Los iPhone son fabricados por Apple
p∨q: Los iPhone son celulares inteligentes o son fabricados por Apple
Tabla de verificación
p q p∨q
NF= 𝟐𝒏 = 22 =4 filas
V V V
V F V
F V V
F F F

Regla: El producto lógico es F únicamente si las dos son falsas

 CONECTORES LÓGICOS
DISYUNCIÓN EXCLUSIVA
Proposición 1: Mañana a las 19 h iré al baile de graduación
Proposición 2: Mañana a las 19 h iré al cine con mis padres
p⊻q: Mañana a las 19 h o iré al baile de graduación o iré al cine con
mis padres
Tabla de verificación
NF= 𝟐𝒏 = 22 =4 filas p q p∨q
V V F
V F V
F V V
F F F
Regla: El producto lógico es F únicamente si las dos son iguales
 CONECTORES LÓGICOS
IMPLICACIÓN O CONDICIONALIDAD
Proposición 1: Apruebas el semestre
Proposición 2: Te llevaré de vacaciones
p→q: Si apruebas el semestre entonces te llevaré de vacaciones.
Tabla de verificación
NF= 𝟐𝒏 = 22 =4 filas p q p→q
V V V
V F F
F V V
F F V
Regla: El producto lógico es F únicamente si
la primera es V y la segunda es F
 CONECTORES LÓGICOS
DOBLE IMPLICACIÓN O BICONDICIONALIDAD
Proposición 1: Aprobaré el semestre
Proposición 2: Estudio arduamente
p↔q: Aprobaré el semestre si y solo si estudio arduamente
Tabla de verificación
NF= 𝟐𝒏 = 22 =4 filas p q p↔q
V V V
V F F
F V F
F F V

Regla: El producto lógico es V si las dos son iguales

 CONECTORES LÓGICOS
RESUMEN

Proposición Proposición Proposición compuesta

1 2 Conjunción Disyunción Disyunción Condicionalidad Bicondicionalida
exclusiva d
p p p∧q p∨q p⊻q p→q p↔q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
 EJERCICIOS
Ejercicio 1: Elabore la tabla de verdad para la
siguiente proposición (𝒑 ∧ 𝒒) → ~𝒓

Ejercicio 2: Elabore la tabla de verdad para la

siguiente proposición (𝒑 → 𝒒) ∧ (𝒒 → 𝒑)
TAUTOLOGÍAS, CONTRADICCIONES Y CONTINGENCIAS
TAUTOLOGÍA
Es una proposición compuesta siempre verdadera, sin importar el
valor de verdad que tengan las proposiciones simples que la
componen.
Ejemplo
(𝒑 → 𝒒) ↔ (~𝒒 → ~𝒑 )
Tabla de verificación
p q ~𝐪 ~𝐩 𝐩 → 𝐪 ~𝐪→ ~𝐩 (𝐩 → 𝐪) ↔ (~𝐪→ ~𝐩 )

V V F F V V V
V F V F F F V
F V F V V V V
F F V V V V V
TAUTOLOGÍAS, CONTRADICCIONES Y CONTINGENCIAS
CONTRADICCIÓN
Es una proposición compuesta siempre falsa, sin importar el valor
de verdad que tengan las proposiciones simples que la componen.
Ejemplo
𝒑 ∧ ~𝒑
Tabla de verificación
p ~𝐩 𝐩 ∧ ~𝐩
V F F
V F F
F V F
F V F
TAUTOLOGÍAS, CONTRADICCIONES Y CONTINGENCIAS
CONTINGENCIAS
Es una proposición compuesta cuyo resultado está determinado por valores
verdaderos o falsos, sin importar el valor de verdad que tengan las
proposiciones simples que la componen.
Ejemplo
𝒑→𝒒 ∧ 𝒒→𝒑
Tabla de verificación
p q 𝐩→𝐪 𝐪→𝐩 𝒑→𝒒 ∧ 𝒒→𝒑

V V V V V
V F F V F
F V V F F
F F V V V