1

La Lógica Matemática
permite hacer que todas Frege,
las verdades de la razón Peano,
Russell,..
sean reducidas a una Venn
especie de cálculo.
De Morgan
Boole

Aristóteles

Con la Lógica Matemática podemos precisar la equivalencia

entre expresiones abstractas, podemos analizar la validez de
argumentos o razonamientos, podemos realizar demostraciones
formales,...
 2

1.1 Introducción a la Lógica Matemática, Definición

de Proposición, tipos, valor de verdad, tabla de
verdad, variables proposicionales.
1.2 Operadores Lógicos: Negación, Conjunción,
Disyunción, Disyunción Exclusiva, Implicación,
Bicondicional.

1.3 Proposiciones Simples y Compuestas, Formas

proposicionales, tablas de verdad, tautología,
Contradicción y Contingencia.
1.4 Propiedades de los operadores lógicos,
traducciones y razonamientos
 3

PROPOSICION
Enunciado al que se lo puede calificar o
bien como Verdadero o bien como Falso.

VALOR DE VERDAD
Cualidad de una proposición de ser verdadera o
de ser falsa.

Verdadero: 1

Falso: 0
NOTACIÓN:
Letras en minúscula
 4

Ejemplos:

a: "Hoy es Lunes"
b: "Estoy en la clase de Física"

• NO PROPOSICIONES
➢ ¡Ojalá deje de llover!

➢ ¿Hiciste el deber de Matemáticas?

➢ Siéntate y quédate quieto.

 5

Ejercicio
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. 3 x + 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
 6

OPERADORES (CONECTORES) LÓGICOS

NEGACIÓN Lenguaje •No

•No es verdad que
Relacionado
•No es cierto que

Símbolo : 
Tabla de verdad
Ejemplos
a : "Hoy no es Lunes "
a a
b :“ No estoy en la clase de Física" 1 0
0 1
 7

CONJUNCIÓN
Lenguaje
Relacionado “y” “pero”

Símbolo: 
Ejemplo Tabla de verdad

a : "Tengo un lápiz" a b ab

b : "Tengo un cuaderno" 1 1 1
1 0 0
a  b : "Tengo un lápiz y un cuaderno " 0 1 0
0 0 0
 8

DISYUNCION INCLUSIVA

Lenguaje
“O”
Relacionado

Símbolo: 
Ejemplo
Tabla de verdad
a : "Tengo un lápiz" ab
a b
b : "Tengo un cuaderno " 1 1 1
a  b : "Tengo un lápiz o un cuaderno " 1 0 1
0 1 1
0 0 0
 9

DISYUNCION EXCLUSIVA

Lenguaje
a
“0……o.…..”
b
Relacionado “o bien……o
a bien…..”
b

Símbolo:  Significa: (a  b)  (a  b)

Ejemplo Tabla de verdad

: “Daniel está en España "

a b a b
a
1 1 0
b : “Daniel está en Italia"
1 0 1
a b : “Daniel está en España o en Italia" 0 1 1
0 0 0
 10

ENUNCIACIÓN HIPOTÉTICA (CONDICIONAL)

Lenguaje a
“Si…..entonces.….”
b
Relacionado
Ejemplo Símbolo: a → b
a : “Apruebas el preuniversitario"
b : “Te regalaré un carro"
a → b : “Si apruebas el preuniversitario entonces te regalaré un carro"
Tabla de verdad a b a →b
1 1 1
1 0 0
0 1 1
0 0 1
 11

ENUNCIACIÓN HIPOTÉTICA (CONDICIONAL)

a →b
Antecedente Consecuente

OTROS LENGUAJES RELACIONADOS:

➢a implica b ➢b cada vez que a

➢Basta a para b ➢b siempre que a
➢a sólo si b ➢b puesto que a
➢a solamente si b ➢b porque a
➢b si a ➢b con la condición de que a
 12

Condición Necesaria y Condición Suficiente

a →b verdadera

“a es condición suficiente para b”

“b es condición necesaria para a”

Ejemplo:
"Si un número es divisible para 4 entonces es divisible para 2"
1. “La divisibilidad para 4 es condición suficiente para la divisibilidad para 2"
“Es suficiente que un número sea divisible para 4 para que se divisible para 2"
2. “La divisibilidad para 2 es condición necesaria para la divisibilidad para 4"

“Es necesario que un número sea divisible para 2 para que se divisible para 4"
 13

Variaciones de la condicional
a →b

LA RECÍPROCA: b→a
LA INVERSA: a → b
LA CONTRARRECÍPROCA: b → a
Ejemplo: “Iré a trabajar si me pagan”
Si me pagan entonces iré a trabajar
LA RECÍPROCA: Si voy a trabajar entonces me pagan
LA INVERSA: Si no me pagan entonces no iré a trabajar
LA CONTRARRECÍPROCA: Si no voy a trabajar entonces no me pagan
 14

Importante

Condicional:
"Si un número es divisible para 4 entonces es divisible para 2"

RECÍPROCA:
"Si un número es divisible para 2 entonces es divisible para 4"
Falso
Contraejemplo:
“6 es divisible para 2, pero no es divisible para 4"
 15
BICONDICIONAL
Lenguaje Relacionado “…..si
a y sólo si.….”
b
Símbolo: a  b Significa: (a → b)  (b → a)

TABLA a b a b
DE 0 0 1
VERDAD 0 1 0
1 0 0
Ejemplo: 1 1 1
a : “Un triángulo es equilátero”
b : “Un triángulo tiene sus ángulos de igual medida”
a  b : “Un triángulo es equilátero si y sólo si tiene sus ángulos de
igual medida”
 16

PROPOSICIONES SIMPLES Y COMPUESTAS

Simples: No poseen operador lógico

Compuestas: Formadas por varias proposiciones

y operadores lógicos

Ejemplo: ( ( a  b )  c ) → ( a → b ) El valor de verdad de

una proposición
compuesta depende del
Suponga que: a  1 b  0 c  1 valor de verdad de sus
proposiciones simples.
 
( (1100) (11)) → → (11 → )
 ((1  0 ))   ((1))  → 1 →
0
→ 0 
 1 0   0 
 0 0

 1 0

 0 
1
 17

Ejemplo:
Determine el valor de verdad de las proposiciones
simples sabiendo que el valor de verdad de la
proposición compuesta es VERDADERO.
  ( a → b ) → ( c  d )    a  ( c  d ) 
1 1 0 1 1 1
1
0 0 a 1
c0
1
1 d 1
b0

1
 18
Ejercicio 1

Ejercicio 2
 19

FORMAS PROPOSICIONALES
Expresión constituida por símbolos que
representan o conectores lógicos o
variables proposicionales.

Ejemplo ( ( p  q )  r ) → ( p  q ) Total = 2núm. var. prop.

p q r p  q r ( p  q )  r p  q ( ( p  q )  r ) → ( p  q )
1 1 1 1 0 0 1 1
1 1 0 1 1 1 1 1
1 0 1 1 0 0 0 1
1 0 0 1 1 1 0 0
0 1 1 1 0 0 0 1
0 1 0 1 1 1 0 0
0 0 1 0 0 0 0 1
0 0 0 0 1 0 0 1
 20

TAUTOLOGÍA

Se dice que una Forma Proposicional es una tautología cuando su

valor de verdad es V, independientemente del valor de verdad de
las proposiciones que la componen.
Ejemplo
( p → q ) → ( p  q )
p q p→q p p  q ( p → q) → (  p  q)
1 1 1 0 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 1 1 1 1

CONTRADICCIÓN: Cuando siempre es falsa.

CONTINGENCIA: Si se obtienen proposiciones verdaderas y

otras falsas.
 21

IMPLICACIONES LÓGICAS

Sean A y B dos formas proposicionales, se

dice que A implica lógicamente a B si y sólo
si A → B es una tautología.

En este caso se escribe: A B

Ejemplo
( p → q )  ( p  q )
 22

Algunas Implicaciones Lógicas típicas:

p   p  q Adición

 p  q  p Simplificación

 p  ( p → q)  q Modus Ponens

( p → q)  q  p Modus Tollens

( p  q)  p  q Silogismo Disyuntivo

( p → q)  (q → r )   p → r  Silogismo Hipotético
 23

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
A  Bes una tautología.

En este caso se escribe: A B

También: AB
Ejemplo p→q 
 p  q



p q p→q p p  q ( p → q)  (p  q)
1 1 1 0 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 1 1 1 1
 24

ALGEBRA DE PROPOSICIONES

CONJUNCIÓN DISYUNCIÓN

( p  q)  (q  p) Conmutativa ( p  q)  (q  p)
( p  q)  r  p  (q  r ) Asociativa ( p  q)  r  p  (q  r )

( p  p)  p Idempotencia ( p  p)  p
( p 1)  p Identidad ( p  0)  p
( p  0)  0 Absorción ( p  1)  1
 25

p  (q  r )  ( p  q )  ( p  r )
Leyes distributivas
p  (q  r )  ( p  q )  ( p  r )
(p )  p Doble negación

 ( p  q )  p  q
Leyes de De Morgan
 ( p  q )  p  q

( p → q)  (q → p) Contrarrecíproca

( p → q)  (p  q) Implicación
 26

( p   p)  1 Ley del tercer excluido

( p   p)  0 Ley de la contradicción

( p  q ) → r    p → ( q → r )  Ley de exportación

( p → q )  ( p  q ) → 0 Reducción al absurdo

 27
E
J
E Demostrar:  p  ( p  q )   p
M
P
Solución:
L
O

 p  ( p  q )   ( p  0 )  ( p  q )  Identidad

 p  (0  q) Distributivas
 p0 Absorción
 p Identidad
 28

Sea la proposición:
E
J “Si tú eres inteligente y no resuelves el problema
E entonces desconoces la materia ”
M Siendo:
P m: Tú eres inteligente
L n: Tú resuelves el problema
O p: Tú desconoces la materia
Indique a que opción corresponde la TRADUCCIÓN:
a) m → ( n  p ) Solución:
b) p → ( m  n )
Primero: Traducción: ( m  n ) → p
c) m  ( n  p )
d) ( m  p ) → n Segundo: Transformamos empleando el álgebra de
proposiciones:
e) m →  ( n  p )
 ( m  n )  p Implicación
m  n  p Ley de De Morgan
m  ( n  p ) Asociativa de la disyunción
m → (n  p) Implicación
 29

Sea la proposición:
E
J “Hoy es jueves y tengo que dar un examen, pero si
E hay huelga, entonces no voy a la Universidad”
M Siendo: a: Hoy es jueves
P b: Tengo que dar un examen
L c: Hay huelga
O d: Me voy a la Universidad
Indique a que opción corresponde la TRADUCCIÓN:
a) ( a  b  c ) → d Solución:
b) ( a  b ) → ( c  d ) Primero: Traducción: ( a  b )  ( c → d )
c) ( d → c )  ( a  b )
d) ( a  b )  ( c → d ) Segundo: Transformamos :
e) ( c → d )  ( a  b ) ( a  b )  (  ( d ) → c ) Contrarrecíproca
( a  b )  ( d → c ) Doble Negación
( d → c )  ( a  b ) Conmutativa
 30

RAZONAMIENTOS
PREMISAS O HIPOTESIS
   
CONCLUSIÓN

H 1  H 2  H 3   H n  

 

C
OPERADOR PRINCIPAL

VALIDEZ
Un razonamiento es VÁLIDO cuando la forma
proposicional que se obtiene de la proposición
compuesta que lo define, es tautológica.
 31

EJEMPLO 1
"Si aumenta la producción, aumentan los ingresos; si
aumentan los ingresos, se recupera la inversión. Por lo
tanto, si aumenta la producción ,se recupera la inversión"
SOLUCIÓN:
a: Aumenta la producción
b: Aumentan los ingresos
c: Se recupera la inversión

Traducción:

(a → b)  (b → c) → (a → c)
Forma proposicional:

( p → q)  (q → r ) → ( p → r )
 32

Segundo Método: Reducción al Absurdo

( p → q)  (q → r ) → ( p → r )
1 1 1 0
1 1 (0) 1 0 p 1
0 r0
1 (0)

0 (1) VALIDO
 33

EJEMPLO 2
"Si soy estudioso , aprobaré el curso ; si soy fiestero, no
aprobaré el curso. Por lo tanto, no puedo ser estudioso
y fiestero al mismo tiempo"
Solución: a: Soy estudioso
b: Aprobaré el curso
c: Soy fiestero

Traducción:

(a → b)  (c → b) → (a  c)

Forma proposicional:

( p → q)  (r → q) → ( p  r )
 34

Segundo Método: Reducción al Absurdo

( p → q)  (r → q) → ( p  r )
1 1 1 0 p 1
1 1 r 1
1 1 (0) (1)
1 (0) 0
0 (1) VALIDO
 35
EJEMPLO 3
La Lógica es difícil o no les gusta a muchos
estudiantes. Si la Matemática es fácil, entonces la
Lógica no es difícil. Por lo tanto, la Lógica es difícil.
Solución: a: La lógica es difícil

b: La lógica les gusta a muchos estudiantes

c: La Matemática es fácil. (a  b)  (c → a) → a
( p  q)  (r → p) → p
0 0 p0
0 1 1 1 q0
1 1 r 1  r  0
1 0
NO VALIDO
0