1

LÓGICA
MATEMÁTICA
 LÓGICA MATEMÁTICA 2

LOGICA
Es el estudio del razonamiento mediante el cual se
denomina un hecho que puede resultar otro
PROPOSICION
Enunciado al que se lo puede calificar o
bien como Verdadero o bien como Falso.
NOTACIÓN:
Primeras letras del abecedario en minúscula

Ejemplos:
a: "Hoy es Lunes"

b: "Estoy en la clase de Física"

 LÓGICA MATEMÁTICA 3

PROPOSICION COMPUESTA
Una proposición compuesta se forma
combinando proposiciones simples con
operadores o conectores lógicos

PROPOSICION ABIERTA
Cuando el enunciado no podemos
calificarlo como verdadero o falso, o
sea no tiene valor de verdad
Ejemplos:
¿ Como te llamas?
¡Hola!
 LÓGICA MATEMÁTICA 4

• NO PROPOSICIONES
 ¡Ojala deje de llover!

 ¿Hiciste el deber de Matemáticas?

 Siéntate y quédate quieto.

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

Verdadero: 1

Falso: 0
 LÓGICA MATEMÁTICA 5

OPERADORES (CONECTORES) LÓGICOS

NEGACIÓN Lenguaje · No
· No es verdad que
Relacionado
· No es cierto que

Símbolo :  :
Tabla de verdad
Ejemplos
a a
�a : "Hoy no es Lunes "

�b :“ No Estoy en la clase de Física" 1 0

0 1
 LÓGICA MATEMÁTICA 6

OPERADORES LÓGICOS
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
 LÓGICA MATEMÁTICA
OPERADORES LÓGICOS
DISYUNCION INCLUSIVA
Lenguaje
Relacionado “O”

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
7
 LÓGICAOPERADORES
MATEMÁTICALÓGICOS
DISYUNCION EXCLUSIVA
a
b
Lenguaje “0……o.…..”“0……o.…..”
a bien…..”
Relacionado “o bien……o b

Símbolo:  Significa:  a  b    a  b 

Ejemplo Tabla de verdad

a b a b
a : “ Daniel está en España "
1 1 0
b : “Daniel está en Italia" 1 0 1
a b: “ o Daniel está en España o en Italia " 0 1 1
0 0 0
8
 LÓGICAOPERADORES
MATEMÁTICALÓGICOS
ENUNCIACIÓN HIPOTÉTICA (CONDICIONAL)
Lenguaje a b
“Si…..entonces.….”
Relacionado
Ejemplo Símbolo: a  b
a : “ Apruebas el curso de nivelación "
b : “Te regalaré un carro"
a  b : “ Si apruebas el curso de nivelación " entonces te regalaré un carr
Tabla de verdad a b ab
1 1 1
1 0 0
0 1 1
0 0 1
9
 LÓGICAOPERADORES
MATEMÁTICALÓGICOS
ENUNCIACIÓN HIPOTÉTICA (CONDICIONAL)
ab
Antecedente Consecuente
Hipótesis Tesis
Premisa Conclusión.

OTROS LENGUAJES RELACIONADOS:

b cada vez que
a implica b
a
Basta a para b b siempre que a
a sólo si b b puesto que a
a solamente si
b porque a
b b con la condición de que
b si a
a 10
 LÓGICAOPERADORES
MATEMÁTICALÓGICOS
ENUNCIACIÓN HIPOTÉTICA (CONDICIONAL)
Condición Necesaria y
Condición Suficiente verdadera ab
“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"
11
 LÓGICAOPERADORES
MATEMÁTICALÓGICOS
ENUNCIACIÓN HIPOTÉTICA (CONDICIONAL)
VARIACIONES 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
12
 LÓGICAOPERADORES
MATEMÁTICALÓGICOS
ENUNCIACIÓN HIPOTÉTICA (CONDICIONAL)
VARIACIONES ab
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"

13
 LÓGICAOPERADORES
MATEMÁTICALÓGICOS
BICONDICIONAL
a y sólo si.….”
Lenguaje Relacionado “…..si b
Símbolo: a  b Significa:  a  b    b  a 

TABLA a b ab
DE 1 1 1
VERDAD 1 0 0
0 1 0
Ejemplo: 0 0 1
a : “ Un triángulo es equilátero”
b : “Un triángulo tiene sus ángulo de igual medida”
: “ Un triángulo es equilátero si y sólo si tiene sus ángulos de
a �b
igual medida” 14
 LÓGICA MATEMÁTICA
OPERADORES LÓGICOS
CONJUNCION NEGATIVA
Lenguaje Relacionado a b
“Ni …..Ni .….”

Símbolo: a  b Significa: a   b

TABLA a b ab
DE 1 1 0
VERDAD 1 0 0
0 1 0
Ejemplo: 0 0 1
a : “ Juan estudia”
b : “Juan haces sus deberes”
a  b : “ Juan ni estudia ni haces sus deberes ”
15
 LÓGICA MATEMÁTICA
TAREAS:
Libro Fundamentos de Matemáticas:
Pág. 79 ejercicios: 1,2,3,4,5,6
Copias Apuntes de Materia:
Pág. 2 ejercicios Nº 1: 1,2,3
Pág. 6 ejercicios Nº 2: 1,2,3,4

Fecha de entrega: 29 de octubre 2014

16
 LÓGICA MATEMÁTICA
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�
�
� �‫�خ‬
‫�خ‬ 
0  �  1 �
�
0  �  1 � �
� 1 0 �
1{ 0 �
�
�
123
1�‫�خ‬
123
�12 13
0  �  1 � �
{
{0
1{0 0 �
� � 0 �
�1 44 1
2 4 43 �
0
�
1 4 4 40 44 2 4 �4 4 4 43
1
17
 LÓGICA MATEMÁTICA
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.
� 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
 LÓGICA MATEMÁTICA
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
19
 LÓGICA MATEMÁTICA
FORMAS PROPOSICIONALES
TAUTOLOGÍA
Si se obtienen sólo proposiciones verdaderas para todos los valores
de verdad de las variables proposicionales
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

20
 LÓGICA MATEMÁTICA
FORMAS PROPOSICIONALES
CONTRADICCION
Si se obtienen sólo proposiciones falsas para todos los valores de
verdad de las variables proposicionales
Ejemplo
  p  q    p  q  

p q pq p p  q   p  q    p  q  

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

21
 LÓGICA MATEMÁTICA
FORMAS PROPOSICIONALES
CONTINGENCIA

Si se obtienen proposiciones verdaderas y otras falsas.

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
22
 LÓGICA MATEMÁTICA
FORMAS PROPOSICIONALES
Tarea
  pq   r   q
  p  q  r   q  (r  p)
 ( p  q)  (q  r )  ( p  r )

 p (q  r )  (q  r )  1
23
 LÓGICA MATEMÁTICA
IMPLICACIONES LÓGICAS

Sean A y B dos formas proposicionales,

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

En este caso se escribe: A B

Ejemplo

 p � q  �  �p �q 

24
 LÓGICA MATEMÁTICA
Ejemplo IMPLICACIONES LÓGICAS

A�B

25
 LÓGICA MATEMÁTICA
Ejemplo IMPLICACIONES LÓGICAS

26
 LÓGICA MATEMÁTICA
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 B
es una tautología.
En este caso se A B
escribe:
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
27
 LÓGICA MATEMÁTICA
EQUIVALENCIAS LÓGICAS
Tarea
a : ( p  q )  ( q  p )
b : ( p  q)  (p  q)
c : ( p  q )  ( p  q )
d : ( p  q )  ( p  q)  (q  p )
e : ( p  q )  ( p   q )

28
 LÓGICA MATEMÁTICA
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   m ‫�خ‬n 
Primero: Traducción: p
c) m � n �p 
d)  m �‫�خ‬
p n
e) m � � n �p 

29
 LÓGICA MATEMÁTICA
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) a �‫�ٮ‬
b  c d
d)  a ‫��خ‬
b  c d

e)  c � d  � a �b 

30
 LÓGICA MATEMÁTICA
RAZONAMIENTOS

 PREMISAS
   O HIPOTESIS
   CONCLUSIÓN
  
 H1  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
 LÓGICA MATEMÁTICA
RAZONAMIENTOS
32

E
J "Si aumenta la producción, aumentan los ingresos; si
E aumentan los ingresos, se recupera la inversión. Por lo
M
P tanto, si aumenta la producción ,se recupera la inversión"
L
SOLUCIÓN:
O a: Aumenta la producción
1 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 
 LÓGICA MATEMÁTICA
RAZONAMIENTOS
33

E
J
E Segundo Método: Reducción al Absurdo
M
P
L
O  p  q   q  r    p  r 
1
1 1 1 0
1 1 (0) 1 0 p �1
0 r �0
1 (0)

0 (1) VALIDO
 LÓGICA MATEMÁTICA
RAZONAMIENTOS
E
J "Si soy estudioso , aprobaré el curso ; si soy fiestero, no
E aprobaré el curso. Por lo tanto, no puedo ser estudioso
M
P y fiestero al mismo tiempo"
L Solución: a: Soy estudioso
O
b: Aprobaré el curso
2 c: Soy fiestero

Traducción:

  a  b    c  b     a  c 
Forma proposicional:

  p  q    r  q     p  r 
34
 LÓGICA MATEMÁTICA
RAZONAMIENTOS
PRIMER MÉTODO: Aplicando leyes de Equivalencias

 �p �q  � �r ��q  �
��
� ��� p �r  Implicación

E
�
�  p �q  ���
��  r ��q  �
���p ��r De Morgan
J  ��
�
�  p  ��q  � ��  q  �
 r  ��� ���p ��r De Morgan
E
M �
� p ��q  � r �q  �
���p ��r Doble negación
P
L  p ��q  ��p �
�
� �  r �q  ��r �
��
� � Asociativa
O
 p ��p  � �q ��p  �
�
� �  r ��r  � q ��r  �
��
� � Distributiva
2
1 � �q ��p  �
�
� � 1 � q ��r  �
��
� � Del tercero excluido

 �q ��p  � q ��r  Identidad para la conjunción

 �q �q  � �p ��r  Asociativa
1 � �p ��r  Del tercero excluido
1 Absorción para la disyunción
35
 LÓGICA MATEMÁTICA
RAZONAMIENTOS

Segundo Método: Reducción al Absurdo

E
J
  p  q    r  q     p  r 
E
M 1 1 1 0 p �1
P
1 1 r �1
L
O
1 1 (0)
  1
2
1 (0) 0
0 (1) VALIDO 36
E
LÓGICA MATEMÁTICA
RAZONAMIENTOS
37

J
E
La Lógica es difícil o no les gusta a muchos
M estudiantes. Si la Matemática es fácil, entonces la
P Lógica no es difícil. Por lo tanto, la Lógica es difícil.
L
O Solución: a: La lógica es difícil
3 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