La matemática es una ciencia

exacta, sistemática y poderosa, que

constituye la herramienta principal
para el logro, sostenimiento y
desarrollo de los avances científicos
y tecnológicos actuales. Sin
embargo, para comprender la esencia
de la Matemática necesitamos un
lenguaje apropiado, que nos permita
obtener una interpretación semántica
de sus regularidades. Este lenguaje
se obtiene de la lógica y de la teoría
de conjuntos.

DEPARTAMENTO DE MATEMATICAS
 2

Objetivos:
Al finalizar la clase Ud. podrá:
- Dadas varias oraciones, identificar cuáles
son proposiciones y cuáles no lo son.
- Construir tablas de verdad con base en
los valores de verdad que pueden tomar
las variables proposicionales.
- Dada la definición de los operadores
lógicos, interpretar el comportamiento de
estos operadores mediante su tabla de
verdad.
DEPARTAMENTO DE MATEMATICAS
 3

PROPOSICIÓN
Unidad semántica que, o sólo es Verdadera
o sólo es Falsa.
VALOR DE VERDAD
Cualidad de una proposición de ser verdadera o
de ser falsa. Verdadero: 1 , Falso:0 ,
VARIABLE PROPOSICIONAL
p, es una variable proposicional cuando
representa a proposiciones. El valor de verdad
de esta variable puede ser verdadero o falso
NOTACIÓN:
Letras en minúscula p, q, r, s, t ……
DEPARTAMENTO DE MATEMATICAS
 4

Ejemplos:
p: "Hoy es Lunes"
q: “En este momento llueve"
r: “17 es un número par”

• NO PROPOSICIONES
➢ ¡Ojalá deje de llover!

➢ ¿Hiciste el deber de Matemáticas?

➢ Siéntese y esté atento.

➢ Lava el carro, por favor

DEPARTAMENTO DE MATEMATICAS
 5

Ejercicios
1) Indique ¿cuáles de los siguientes enunciados
son proposiciones y cuáles no?
1. Esta fruta está verde SI
2. ¿Estás contenta? NO
3. 3 + 7 = 10 SI
4. 3x + 7 = 10 NO
5. El gato subió a la mesa SI
6. ¡Mañana se acabará el mundo! NO
7. Luís debe pagar su deuda a menos que quiera
ser demandado SI

DEPARTAMENTO DE MATEMATICAS
 6

• Ejercicio 2

DEPARTAMENTO DE MATEMATICAS
 7

Ejercicio 3

DEPARTAMENTO DE MATEMATICAS
 8
Ejercicio 3

DEPARTAMENTO DE MATEMATICAS
 9

Definición:
NEGACIÓN Lenguaje •No
•No es verdad que
Relacionado
•No es cierto que

Símbolo : p p
Ejemplos Tabla de verdad
p : "Hoy no es Lunes " p p
q :“ No está lloviendo en este
momento" V F
r :“17 no es un número par” F V

DEPARTAMENTO DE MATEMATICAS
 10

CONECTORES u
OPERADORES LÓGICOS

Llamaremos conectivos lógicos a ciertos

símbolos que nos permiten relacionar o vincular
las proposiciones simples para formar otras
nuevas, llamadas proposiciones compuestas.

DEPARTAMENTO DE MATEMATICAS
 11

OPERADORES LÓGICOS
CONJUNCIÓN
Lenguaje
Relacionado “y” “pero…”

Símbolo: 
Ejemplo Tabla de verdad
p : "Tengo un lápiz" p q pq
q : "Tengo un cuaderno" V V V
V F F
p  q : "Tengo un lápiz y un cuaderno "
F V F
F F F

DEPARTAMENTO DE MATEMATICAS
 OPERADORES LÓGICOS
DISYUNCION INCLUSIVA
Lenguaje
“O”
Relacionado

Símbolo: 
Ejemplo
Tabla de verdad
p : "Tengo un lápiz"
p q pq
q : "Tengo un cuaderno "
V V V
p  q : "Tengo un lápiz o un cuaderno " V F V
F V V
F F F
DEPARTAMENTO DE MATEMATICAS
 OPERADORES LÓGICOS
DISYUNCION EXCLUSIVA
Lenguaje “ p q
0……o.…..”
Relacionado “o bien……o
p bien…..”
q

Símbolo:  Significa: ( p  q )  ( p  q )

Ejemplo Tabla de verdad

p q p q
p : “Daniel está en España " V V F
q : “Daniel está en Italia" V F V
p  q : “Daniel está en España o en Italia" F V V
F F F
DEPARTAMENTO DE MATEMATICAS
 OPERADORES LÓGICOS
IMPLICACIÓN
Lenguaje p q
“Si…..entonces.….”
Relacionado
Ejemplo Símbolo: p → q
p : “Apruebas el preuniversitario"
q : “Te regalaré un carro"
p → q: “Si apruebas el preuniversitario entonces te regalaré un carro"
Tabla de verdad p q p→q p q
→
V V V antecedente consecuente

V F F
F V V
F F V
DEPARTAMENTO DE MATEMATICAS
 BICONDICIONAL OPERADORES LÓGICOS

Lenguaje Relacionado “…..si

p y sólo si.….”
q

Símbolo: p  q Significa: ( p → q )  ( q → p )
p q pq
TABLA
DE F F V
VERDAD F V F
V F F
Ejemplo: V V V
p : “Un triángulo es equilátero”
q : “Un triángulo tiene sus ángulos de igual medida”
p  q : “Un triángulo es equilátero si y sólo si tiene sus ángulos de
igual medida”
DEPARTAMENTO DE MATEMATICAS
 VARIABLES PROPOSICIONALES:

Simples: No poseen operador lógico

Formadas por variables
Compuestas: proposicionales relacionadas con
operadores lógicos

Ejemplo: ( ( p  q )  r ) → ( p → q ) El valor de verdad de

una proposición
compuesta depende del
Suponga que: p := V q := F r := V valor de verdad de sus
proposiciones simples.
 

((V )  
FF)) (VV) →( V →FF)
 
(((VV
   → →

V

 F
F
))  ((V
V )) V
→ V →
F
F 
 VV F    FF 
F

 V F 
F

 FF 
V

DEPARTAMENTO DE MATEMATICAS
 PROPOSICIONES SIMPLES Y COMPUESTAS
Ejemplo:
Determine el valor de verdad de las proposiciones
simples sabiendo que el valor de verdad de la
proposición compuesta es VERDADERO.
( p → q ) → ( r  s )    p  ( r  s ) 
 V V   
F V V V
V
F F p := V
r := F
V
V s := V
q := F

V
DEPARTAMENTO DE MATEMATICAS
 Tablas de Verdad: es una representación de
los posibles valores de verdad que podrían tomar
una o más variables proposicionales.
Ejemplo ( ( p  q )  r ) → ( p  q ) Total = 2núm. prop.
p q r p  q r ( p  q )  r p  q ( ( p  q )  r ) → ( p  q )
V V V V F F V V
V V F V V V V V
V F V V F F F V
V F F V V V F F
F V V V F F F V
F V F V V V F F
F F V F F F F V
F F F F V F F V

DEPARTAMENTO DE MATEMATICAS
 EQUIVALENCIAS LÓGICAS
Sean A y B dos formas proposicionales. Se dice que A
es lógicamente equivalente a B si y sólo si
tienen los mismos valores lógicos

En este caso se escribe: AB

Ejemplo p → q  p  q
p q p→q p p  q

1 1 1 0 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1

DEPARTAMENTO DE MATEMATICAS
TAUTOLOGÍA

Se dice que una proposición compuesta es una tautología

cuando su valor de verdad es V, independientemente del
valor de verdad de las proposiciones que la
componen.

CONTRADICCION:
Se dice que una proposición compuesta es una
contradicción cuando su valor de verdad es F,
independientemente del valor de verdad de las
proposiciones que la componen.
CONTINGENCIA:

Se dice que una proposición es una contingencia si no

es tautología ni contradicción.

DEPARTAMENTO DE MATEMATICAS
Equivalencias lógicas, propiedades de los
operadores lógicos
Ejercicio1:

21
DEPARTAMENTO DE MATEMATICAS
Equivalencias lógicas, propiedades de los
operadores lógicos
Ejercicio 2:

22
DEPARTAMENTO DE MATEMATICAS
TABLAS DE VERDAD DE UNA FORMA
PROPOSICIONAL

23
DEPARTAMENTO DE MATEMATICAS