Lógica 2
Lógica 2
Lógica 2
LÓGICA PROPOSICIONAL
01
1. DEFINICIÓN otros, el valor de falsedad los cuales van a depender de
una variable (x; y; z;…) o un artículo (él, ello, aquel, etc.).
Es la parte de la lógica que tiene como objetivo de estudio
el razonamiento humano que se da a través del lenguaje. Ejemplos:
• Él es un escritor peruano.
2. ENUNCIADO
Donde Él es la variable.
Se denomina así a toda expresión del lenguaje común.
Dando valores a la variable Él del conjunto de personas,
Ejemplos:
se tiene
- América es un continente.
- Albert Einstein es un escritor peruano. (F)
- Colombia limita con Argentina.
- César Vallejo es un escritor peruano. (V)
- ¿Qué hora es?
• 2x – 3 < 7
- ¡Estudia!
Donde x es la variable.
- Él es un escritor peruano
Dando valores a la variable x del conjunto de números
2.1 Enunciado cerrado o proposición lógica se tiene
Es el significado de un enunciado que se caracteriza por - 2 (4) – 3 < 7 (V)
tener un valor veritativo; es decir, el significado tiene - 2 (7) – 3 < 7 (F)
la posibilidad de ser verdadero o falso, pero no ambos
a la vez. 3. CLASES DE PROPOSICIONES
Las proposiciones lógicas generalmente se 3.1 Proposición simple o atómica
representarán mediante letras minúsculas del
abecedario (p, q, r, s,…) Es aquella proposición con un solo significado. Carente
de conectivos lógicos y del adverbio de negación no.
Ejemplos:
Ejemplos:
- p: Lima es una ciudad ubicado en America del Sur. (V)
- El diamante es resistente.
- q: César Vallejo escribió La ciudad y los perros. (F)
- Huancayo es una ciudad.
- r: 12-3=9 (V)
- 6 y 7 son números consecutivos.
- Iván y Mijail son hermanos.
No… • Condicional
p → q ≡ ~p ∨ q
b) Conjunción (∧)
• De absorción
…y…
p ∧ (p ∨ q) ≡ p
c) Disyunción débil (∨)
p ∧ (~p ∨ q) ≡ p ∧ q
…o… p ∨ (p ∧ q) ≡ p
d) Condicional (→) p ∨ (~p ∧ q) ≡ p ∨ q
Si… entonces… • Distributiva
e) Bicondicional (↔) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
… si y solo si… p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
V V V V V V F P∨F≡p
V F F V F F V
F V F V V F V
• De involución
~ (~p) ≡ p
• De idempotencia
p∧p≡p
Solución:
p∨p≡p
• Asociativa
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
• De Morgan
Rpta.: VVFV
~ (p ∧ q) ≡ ~p ∨ ~q
~ (p ∨ q) ≡ ~p ∧ ~q
|
p q p ⊗q
V V F
|
V F F
13. Cierto día, Marco plantea el siguiente problema a sus
F V F estudiantes: “Si el valor de verdad de la siguiente pro-
F F V posición compuesta
Simplifique: ~p ⊗ (p ⊗ ~q)
A) p ∧ q B) p
C) ~p ∧ ~q D) q es falsa calcule el valor de verdad de p, q y r, en ese
orden”.
9. Señale el tipo de esquema molecular al cual pertenece
Si Marco desea premiar al primer estudiante que
[(p ∨ ~q) ∧ q] → p
responda correctamente con cierta cantidad de soles
A) tautología guiándose de la siguiente tabla, ¿cuántos soles recibirá
B) contradicción el primer estudiante que resuelva correctamente dicho
problema?
C) contingencia
D) equivalencia Si es falso Si es verdad
recibe recibe
10. De acuerdo con la tabla de verdad
p S/4 S/5
p q p q p q
q S/6 S/7
V V F F
r S/8 S/9
V F V F
F V F F A) 18 B) 10
C) 20 D) 17
F F F V
14. Definimos los operadores lógicos:
¿A qué tipo de esquema molecular pertenece ~p (p
p * q ≡ p ∧ ~q
~q)?
A) tautología p ⊕ q ≡ p ↔ ~q
B) contradicción Reduzca a su mínima expresión el esquema:
C) contingencia
D) equivalencia A) q B) p → q
p: Eduardo estudia en la UNMSM. 15. El alumno Luis, para aprobar el curso de Razonamien-
q: Eduardo no es vendedor de periódicos. to Lógico rinde un examen sustitutorio, el cual cons-
r: Eduardo no desayuna. ta de 5 preguntas de 4 puntos cada una. En una de las
preguntas, Luis debe simplificar el siguiente esquema
Simbolice el siguiente enunciado y luego simplifíquelo. molecular:
Es suficiente que Eduardo no sea vendedor de periódicos { (p ◊ q) → [p ◊ (~p ↔ q)] } ∨ { (q ∆ p) ∨ (q ◊ p) }, donde el
o no tome desayuno, para que no estudie en la UNMSM. operador lógico "◊" está definido por:
Pero si estudia en la UNMSM entonces es vendedor de
p ◊ q ≡ ~(p → ~q). Si Luis ya tiene otras dos preguntas
periódicos.
respondidas correctamente, indique la alternativa
A) (p ∨ q) ∧ r B) p ∨ q
correcta que debe marcar en dicha pregunta, para
C) p ∧ q ∧ ~r D) p → (q ∧ r) aprobar el curso.