Académique Documents
Professionnel Documents
Culture Documents
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"
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!
VALOR DE VERDAD
Cualidad de una proposición de ser verdadera o
de ser falsa.
Verdadero: 1
Falso: 0
LÓGICA MATEMÁTICA 5
Símbolo : :
Tabla de verdad
Ejemplos
a a
�a : "Hoy no es Lunes "
OPERADORES LÓGICOS
CONJUNCIÓN
Lenguaje
Relacionado “y” “pero”
Símbolo:
Ejemplo Tabla de verdad
Símbolo:
Ejemplo
Tabla de verdad
a : " Tengo un lápiz " ab
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:
"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 ab
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 ab
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 ab
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 ab
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
16
LÓGICA MATEMÁTICA
PROPOSICIONES SIMPLES Y COMPUESTAS
Simples: No poseen operador lógico
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 pq 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 pq 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
p (q r ) (q r ) 1
23
LÓGICA MATEMÁTICA
IMPLICACIONES LÓGICAS
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
pq � � p q
p q pq 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 �q � �p ��r Asociativa
1 � �p ��r Del tercero excluido
1 Absorción para la disyunción
35
LÓGICA MATEMÁTICA
RAZONAMIENTOS
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