CICLO ADMISIÓN
CENTRO DE2013 – II PREUNIVERSITARIOS
ESTUDIOS Introducción a la logica
UNIVERSIDAD NACIONAL DE INGENIERÍA
CEPRE-UNI
Introducción a la lógica proposicional
Proposición lógica
Una proposición, es una oración declarativa o una expresión lingüística, que afirma algo y a la
cual se le puede asignar un solo valor de verdad: V (verdadero) o F (falso).
Ejemplos:
a) 11 es número impar (V)
b) 6 < 3 (F)
Expresiones que no son proposiciones
a) ¡Viva la navidad! (Exclamación)
b) ¿Está lloviendo? (Pregunta)
c) No fumar (Orden)
d) Pablo es muy malo (Juicio de valor)
e) Debemos cenar temprano (Exhortativa)
f) Que tengas muy buen día (Desiderativa)
g) Quizá trabaje mañana (Dubitativa)
h) Luis es un número par (no tiene sentido)
i) F es capital del Perú (expresión abierta)
Expresiones abiertas
También llamadas proposiciones abiertas, son expresiones que contienen variables y cuyo
valor de verdad depende del valor asignado a la variable.
Ejemplo:
a) 2x − 1 =5 , es (V) si x = 3 y (F) si x ≠ 3
b) El fundo la ciudad de Lima
Notación
Las proposiciones se notan con las letras minúsculas, p, q, r . . . . . , la notación:
p : 5 + 2 < 3 , se usa para definir que p es la proposición “Cinco más dos es menor que tres”.
Conectivos lógicos
Son palabras y/o símbolos que enlazan proposiciones con el fin de construir nuevas
proposiciones a partir de otras.
CEPRE-UNI ÁLGEBRA -1-
CICLO ADMISIÓN 2013 – II Introducción a la logica
SÍMBOLO NOMBRE SE LEE
∼ Negación “ no ” ; “ no es cierto que ”, “ es falso que ”
∧ Conjunción Y; pero; además; sin embargo
∨ Disyunción inclusiva O
∆ Disyunción exclusiva “o…., o….” ;
“o bien…, o bien…(pero no ambas)
→ Condicional “ Si … , entonces …”,
↔ Bicondicional “ si y solo sí “ , siempre y ccuando
Clases de proposiciones
a) Proposición simple: o atómica, no posee conectivos lógicos.
Ejemplo:
p : 25 es un numero primo
b) Proposición compuesta: o molecular, poseen al menos un conectivo lógico.
Ejemplo:
q: No es cierto que 3 =5
Tabla de valores de verdad
Es una tabla que muestra los valores de verdad de una formula lógica, en funcion de todas las
combinaciones posibles de los valores de verdad de sus variables proposicionales. Si la
formula lógica tiene n variables proposicionales entonces la formula logica y las variables
proposicionales tienen 2n valores de verdad (la tabla tiene 2n líneas), como se ve en los
ejemplos.
a) Para una variable, p : 21 = 2 Valores veritativos.
p
V
F
b) Para dos variables p ; q: 22 = 4 valores veritativos
p q
V V
V F
F V
F F
CEPRE-UNI ÁLGEBRA -2-
CICLO ADMISIÓN 2013 – II Introducción a la logica
c) Para tres variables p, q, r: 23 = 8 valores veritativos.
Formulas logicas basicas
Negacion( ):
Sea p una proposición, la negación de p es la proposición denotada por p ; cuyo valor de
verdad es el opuesto del valor veritativo de p.
Tabla de Verdad
p ∼p
V F
F V
Conjuncion ( ∧ ):
La conjuncion de dos proposiciones p y q se denota por p ∧ q , la cual es verdadera (V) solo
cuando p y q son verdaderas y falsa en los demas casos..
Tabla de Verdad
p q p ∧ q
V V V
V F F
F V F
F F F
Disyuncion inclusiva ( ∨ )
La disyuncion de p y q se denota por p ∨ q , la cual es falsa (F) si p y q son falsas y
verdadera en los demas casos.
Ejemplo:
Pablo es profesor o peluquero
CEPRE-UNI ÁLGEBRA -3-
CICLO ADMISIÓN 2013 – II Introducción a la logica
Tabla de verdad
p q p ∨ q
V V V
V F V
F V V
F F F
Disyuncion exclusiva ( ∆ )
La disyunción exclusiva de p y q se denota como “ p ∆ q “, la cual es falsa (F) sólo cuando p
y q admiten el mismo valor de verdad.
Ejemplo: Pablo tiene 48 o 50 años
T abla de verdad
p q p ∆ q
V V F
V F V
F V V
F F F
Condicional( → )
La condicional de p y q se denota por p → q , la cual es falsa (F) solo si p = V y q = F, y
verdadera en los demas casos, p se denomina antecedente y q se denomina consecuente.
Tabla de verdad
p q p → q
V V V
V F F
F V V
F F V
CEPRE-UNI ÁLGEBRA -4-
CICLO ADMISIÓN 2013 – II Introducción a la logica
Existen varias formas de enunciar una misma condicional con hipotesis P y tesis Q.
A1) Si P entonces Q
A2) P solo si Q.
A3) Para que P es necesario que Q.
A4) El que P es suficiente para que Q.
A5) El que P inplica que Q.
A6) Si P, tambien Q.
A7) Si P , Q.
A8) Q si P.
A9) Q siempre que P.
A10) Q cuando P.
A11) Q cada vez que P.
A12) A fin que Q, basta que P.
Bicondicional( ↔ )
La bicondicional de p y q se denota por p ↔ q , la cual es verdadera (v) sólo cuando p y q
admiten el mismo valor de verdad.
Tabla de verdad
p q p ↔ q
V V V
V F F
F V F
F F V
Formas de enunciar una misma bicondicional
B1) Si P entonces Q y, reciprocamente, si Q entonces P.
B2) Si P entonces Q, y reciprocamente.
B3) Si P, y solo entonces, Q.
B4) P si Q, y solo si Q.
B5) P si Q, y solo si, Q.
B6) P si, y solo si, Q.
B7) A fin que P es necesario y suficiente que Q.
Evaluación de fórmulas lógicas
Al evaluar una formula lógica se presentan tres casos:
CEPRE-UNI ÁLGEBRA -5-
CICLO ADMISIÓN 2013 – II Introducción a la logica
1) Tautología: cuando los valores de verdad de su conectivo lógico principal son todos
verdaderos.
2) Contradicción:
cuando los valores de verdad de su conectivo lógico principal son todos falsos.
3) Contingencia:
cuando en los valores de verdad de su conectivo lógico principal aparece V y F.
Implicación y equivalencia
Sean A y B dos fórmulas lógicas, diremos que “A implica B” lo que denotamos por A ⇒ B , si
A → B , es una tautología. Asimismo diremos que “A es equivalente a B” lo que denotamos
por A ⇔ B si A ↔ B es una tautología. El condicional y el bicondicional relacionan
proposiciones, mientras que la implicación y la equivalencia relacionan fórmulas lógicas que
son tautologías.
Ejemplo:
p q q → p p → (q → p)
V V V V
Verificar que p ⇒ q → p V F V V
F V F V
F F V V
Observaciones:
La notación A ⇔ B se utiliza con fórmulas lógicas (poseen variables proposicionales) no con
proposiciones. Por ejemplo no es correcto escribir: (5 < 2) ⇒ (2 + 1 = 5) , se debe
escribir (5 < 2) → (2 + 1 = 5) .
Nota:
Dos formulas logicas tambien son logicamente equivalentes, si las tablas de verdad de sus
conectivos logicos principales son identicas.. Se simboliza con ≡ .
Ejemplo: p → q ≡ ( q) → ( p) .
Leyes del algebra proposicional
Conjuncion
1) p ∧ p ≡ p
2) p ∧ q ≡ q ∧ p
3) (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
4) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
CEPRE-UNI ÁLGEBRA -6-
CICLO ADMISIÓN 2013 – II Introducción a la logica
5) p ∧ p ≡ F
6) p ∧ V ≡ p
7) p ∧ F ≡ F
Disyuncion inclusiva
1) p ∨ p ≡ p
2) p ∨ q ≡ q ∨ p
3) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
4) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
5) p ∨ p ≡ V
6) p ∨ V ≡ V
7) p ∨ F ≡ p
Leyes de Morgan
1) (p ∨ q) ≡ p ∧ q
2) (p ∧ q) ≡ p ∨ q
Leyes de absorcion
1) p ∧ (p ∨ q) ≡ p
2) p ∨ (p ∧ q) ≡ p
3) p ∧ ( p ∨ q) ≡ p ∧ q
4) p ∨ ( p ∧ q) ≡ p ∨ q
Leyes del condicional
1) p → (q ∧ r) ≡ (p → q) ∧ (p → r)
2) p → (q ∨ r) ≡ (p → q) ∨ (p → r)
3) p → q ≡ p ∨ q
4) (p → q) ≡ p∧ q
5) (p → q) ≡ q → p
Leyes del bicondicional
1) p ↔ q ≡ (p → q) ∧ (q → p)
2) p ↔ q ≡ (p ∧ q) ∨ ( p∧ q)
3) p ↔ q ≡ ( p ∨ q) ∧ ( q ∨ p)
4) p ↔ q ≡ q ↔ p
CEPRE-UNI ÁLGEBRA -7-
CICLO ADMISIÓN 2013 – II Introducción a la logica
5) p ↔ q ≡ q ↔ p
6) (p ↔ q) ↔ r ≡ p ↔ (q ↔ r)
Disyuncion exclusiva
1) p∆q ≡ q∆p
2) p∆q ≡ p∆ q
3) p∆q ≡ (p ↔ q)
4) p∆q ≡ (p ∨ q)∧ (p ∧ q)
5) p∆q ≡ (p∧ q) ∨ ( p ∧ q)
6) ( p∆q )∆r ≡ p∆(q ∆r )
7) p∆V ≡ p
8) p∆F ≡ p
Demostrar
p ↔ (p∧ q) ≡ p → q
q ↔ (p∨ q) ≡ p → q
CEPRE-UNI ÁLGEBRA -8-
CICLO ADMISIÓN 2013 – II Introducción a la logica
PROBLEMAS DE LOGICA
1) Simplificar
E= {( p ∨ q ) ∨ ( p∧ q )} ∧ (q ∨ p)∧ p
Solucion
E= {( p ∨ q )∨ ( p ∨ q )} ∧ p ∧ ( p ∨ q )
E = {a∨ a} ∧ b ∧ (b ∨ q )
E = v ∧ b = b = p
2) Simplificar
E= [ ( p ∧ q ) → ( q ∨ p )] ∧ ( q )
Solucion
a → b ≡ a ∨ b
=
E [ ( p ∧ q ) ∨ ( q ∨ p )] ∧ ( q )
E= [ ( q ∨ p ) ∨ ( q ∨ p )] ∧ ( q )
E= [ ( q ∨ p )] ∧ ( q )
E= ( q ) ∧ ( q ∨ p )= q
1) Si ( s → r ) → [( p ∧ q ) ↔ (r → s )] , es falsa.
Hallar:
a) {(q ↔ r ) → [ p ∧ ( s ∨ t )]}
b) {[(r ∨ s ) → ( q ∨ n ] ∨ p}
c) {[ p → (w ∧ s )] ∨ [ q ∨ (r ↔ p)]}
d) {[(a → r ) ∨ (q ∧ s )] ↔ (b∧ p)}
CEPRE-UNI ÁLGEBRA -9-
CICLO ADMISIÓN 2013 – II Introducción a la logica
Solucion
2) Simplificar
[( p → q ) ∧ ( q → r ) ∧ p ] → ( q ∧ r )
Solucion
3) Simplificar
{[( q ∧ p) → p] ∨ p} ↔ { [ ( p ∧ q ) → p] → p}
Solucion
4) Simplificar
[ ( p → q )∨ ( p ∨ q )]
5) Simplificar
( p → p ) ∨ [( p∨ q ) ∧ ( p → q )]
Solucion
6) Simplificar
[( p ∨ q ) ∧ ( p → q )] ∨ [( p∨ q ) → ( p ∧ q )]
Solucion
CEPRE-UNI ÁLGEBRA - 10 -
CICLO ADMISIÓN 2013 – II Introducción a la logica
7) Simplificar
[ p ∨ ( p ↔ q )] → ( q ∨ p )
Solucion
8) Simplificar
[( p∆q )∧ ( p → q )] ∨ p
Solucion
9) Simplificar
{[ p → ( p ∨ q )] ∨ [ p ∧ ( p ∨ q )] → p } ∧ { }
CEPRE-UNI ÁLGEBRA - 11 -
