Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LOGICA PROPOSICIONAL
ECON. ROGER ALFARO SOTO
Proposición
4
• Ejemplos
– 1 + 4 = 5 (Verdad)
6
Proposición Molecular
7
Proposiciones Moleculares
• Ejemplos
– Vamos en bicicleta o vamos a pie.
– No es cierto que Juan llegó temprano
– Juan no llegó temprano
– Luis es arquitecto y Martín es médico.
– La medalla no es de plata y el diploma parece
falso.
– Matías aprobó pero Lucas no.
8
Simbolización
9
Simbolización
10
Simbolización
• Ejemplos
– Vamos en bicicleta o vamos a pie.
p : “Vamos en bicicleta”.
q : “Vamos a pie”
Simbolización: p v q
– No es cierto que Juan llegó temprano
p = “Juan llegó temprano”.
Simbolización : p
11
Simbolización
• Ejemplo
– La medalla no es de plata y el diploma parece
falso.
p : “La medalla es de plata”.
q : “El diploma parece falso”
Simbolización: p ^ q
12
Simbolización
• Ejemplo
– Matías aprobó el examen pero Lucas no.
r = “ Matías aprobó el examen”.
s = “Lucas aprobó el examen”
Simbolización : r ^ s
13
• La formalización es el proceso en el que se traducen
proposiciones del lenguaje cotidiano al lenguaje
formal o simbólico.
14
Tabla de Verdad
15
16
Negación
p
p
V F
F p V
17
Conjunción
p q p^q
V V V
V F F
F V F
F F F
19
Construcción de tablas de
verdad
20
Proposiciones moleculares
21
Tautología
• Ejemplo: p v p
22
Contradicción
• Ejemplo: p ^ p
23
Contingencia
• Ejemplo: p ^ q
24
Equivalencia Lógica
• Ejemplo: (p q) p q
25
Ejemplo:
(p q) p q
p q pvq (p q)
V V V F
V F V F
F V V F
F F F V
p q p q p q
V V F F F
V F F V F
F V V F F
F F V V V 26
Leyes de De Morgan
27
Proposición condicional
28
Proposición condicional
• Ejemplo:
Si resolvemos las guías de trabajos prácticos entonces
aprenderemos matemática
p = "resolvemos las guías de trabajos prácticos "
q = "aprenderemos matemática"
Simbolizando: p q
29
Proposición condicional
• Ejemplo:
Si vamos a la fiesta entonces no nos acostaremos temprano
p = "vamos a la fiesta"
q = "nos acostaremos temprano"
Simbolizando: p q
30
Tabla de verdad del
condicional
p q pq
V V V
F V V
V F F
F F V
31
Proposición Condicional
32
Distintas formas de indicar
una proposición condicional
• Ejemplo:
p : El entero x es múltiplo de 4
q : El entero x es par
– Si el entero x es múltiplo de 4, entonces es par
– Que el entero x sea múltiplo de 4 es suficiente para que sea
par
– Que el entero x sea par es necesario para que sea múltiplo
de 4.
33
Proposición condicional
pq qp
34
Proposición bicondicional
p q p q
V V V
V F F
F V F
F F V
35
p q (p q) ^ (q p)
p q p q q p (p q) ^ (q
p)
V V V V V
V F F V F
F V V F F
F F V V V
36
Valores de VERDAD
para Proposiciones Simples
• Una PROPOSICIÓN SIMPLE sólo puede tener uno de dos valores:
VERDADERO ó FALSO
Ejemplo:
p: Mauricio juega en el patio
q: Pedro estudia en la biblioteca
p q
V V
F F
Valores de VERDAD
para Proposiciones Compuestas
(pΔq)[rq(ps)]
¿Cuántas combinaciones
hay?
Número de combinaciones = 2n
Valor de Verdad con el operador:
NEGADOR
p p Ejemplo:
p q pq Ejemplo:
N° de Combinaciones = 2n = 22
Valor de Verdad con el operador:
DISYUNTOR DÉBIL
p q pq Ejemplo:
Ejemplo:
p q pΔq
p: Juan estudia matemática
V V F q: Juan recibe un premio
V F V
F V V Proposición:
F F F “O Juan estudia matemática o Juan recibe
un premio”.
Valor de Verdad con el operador:
IMPLICADOR
p→q Ejemplo:
p q
p: Juan estudia matemática
V V V q: Juan recibe un premio
V F F
F V V Proposición:
F F V “Si Juan estudia matemática entonces Juan
recibe un premio”.
Valor de Verdad con el operador:
REPLICADOR
p←q Ejemplo:
p q
p: Juan estudia matemática
V V V q: Juan recibe un premio
V F V
F V F Proposición:
F F V “Juan estudia matemática si Juan recibe
un premio”.
Valor de Verdad con el operador:
BIIMPLICADOR
Ejemplo:
p q p↔q
p: Juan estudia matemática
V V V q: Juan recibe un premio
V F F
F V F Proposición:
F F V “Si y sólo si Juan estudia matemática
entonces Juan recibe un premio”.
Esquema Molecular
Negativo
Conjuntivo
Disyuntivo débil Por su Matriz Tautológico
Por su operador
Disyuntivo fuerte Principal Contigente
Principal
Implicativo Contradictorio
Replicativo
Biimplicativo
TABLA DE VALORES DE VERDAD
(Ejemplo)
p q ( p q ) q
V V V V V V V
V F V F F F F Esquema
F V F F V V V Molecular
F F F F F F F Contingente
TABLA DE VALORES DE VERDAD
(Ejemplo)
p q r [( p → q ) ( q → r )] → ( p → r )
V V V V V V V V V V V nV V 3V
N° de Combinaciones = 2 = 2
V V F V V V F V F F V V F F
V F V V F F F F VV V V V V
V F F V F F F F V F V V F F
F V V F V V V VVV V F V V
F V F F V V F V F F V F V F
Esquema
F F V F V F V F VV V F V V
Molecular
F F F F V F V F V F V F V F
Tautológico