Lógica 2

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 4

TEMA

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.

De las siguientes expresiones se puede apreciar


que aquellas que expresan exclamación, Las dos últimas proposiciones son
interrogación o mandato no son una proposición simples puesto que realizan la misma
lógica porque no afirman o niegan algo. acción.
Ejemplos:
- ¡Viva la patria!
- ¡Estudia!
- ¡Prohibido fumar! 3.2 Proposición compuesta o molecular
- ¿Qué hora es? Es aquella proposición que tiene dos o más significados
- ¡Ojalá no te equivoques! unidos por conectivos lógicos o, en todo caso, que
contienen el adverbio de negación no.
Ejemplos:
2.2 Enunciado abierto - p: Hoy es martes y estudiaré Aritmética
Son expresiones que se comportan de manera ambigua: - q: No es cierto que el perro ladre.
para ciertos casos adoptan el valor de verdad y, para - r: Si estudio entonces ingresaré.
|

Conectivos lógicos • Conmutativa


p∧q≡q∧p
Son los términos de enlace entre preposiciones lógicas,
siendo las principales las siguientes: p∨q≡q∨p

a) Negación (~) p↔q≡q↔p

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)

f) Disyunción fuerte (∆; ↔) p → (q ∧ r) ≡ (p → q) ∧ (p → r)


• De transposición
o… o...
p → q ≡ ~q → ~p
◊ TABLA DE VERDAD • Elemento neutro
p q ∧ ∨ → ↔ ∆ p ∧V ≡P

V V V V V V F P∨F≡p

V F F V F F V

F V F V V F V

F F F F V V F 1. En la siguiente tabla, halle los valores obtenidos en su


◊ ELEMENTOS NOTABLES matriz principal:
Permiten transformar y simplificar fórmulas lógicas.

• 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
|

2. Simplifica: 3. En la siguiente tabla, halle la conclusión de la proposi-


ción compuesta.
(p ⇒ q) ⇒ [(p ∧ ~q) (p ∨ q)]
Solución: p q (p ∨ ~p) ∧ (~q ∨ ~p)
V V (p ∧ q) ∨ ~p ... (Distributiva)
V F
F V
~(~p ∨ q) ∨ ~p ... (De Morgan) F F
~(p ⇒ q) ∨ ~p ... (Condicional)
(p ⇒ q) p ... (Condicional) A) VVVV B) VFFF
∴ (p ∨ ~p) ∧ (~q ∨ ~p) ≡ (p ⇒ q) ⇒ ~p C) FFFF D) VFFV
Rpta.: ~p
4. Indique el valor de verdad de las siguientes
proposiciones.
3. La siguiente proposición: “Si mañana hace calor enton-
ces me pondré ropa ligera, y mañana no me pongo ropa p : (2 < 0) ↔ (8 < 5)
ligera ya que hará calor”, es equivalente a:
q : (−5 > −6) → (−2 < −1)
Solución:
r : (220 < 166) ∧ (3−10 < 3−4)
p: Mañana hará calor
A) VVF B) FVF
q: Mañana me pondré ropa ligera
C) VFV D) VVV
(p → q) ∧ (p → ~q) ≡ ~p
Rpta.: “Mañana no hará calor”. 5. Si la proposición [(~p ∨ t) ∧ (t → p)] ∧ (p ∧ ~q) es ver-
dadera, determine el valor de verdad de las siguientes
proposiciones, en el orden indicado.
I. (p ∆ t) → (p ∧ r)
II. (r → t) ∧ (p ↔ q)
III. (t ∆ p) ∧ (p → q)
1. ¿Cuáles de los siguientes enunciados son proposiciones? A) VFF B) FVF
I. María todos los sábados está ocupada. C) VVV D) FFV
II. Los números 8 y 9 son números primos entre sí.
6. Antonia le dice a Martha: "Si cocinas o lavas toda la
III. El 12 de mayo de 1551 fue fundada la Universidad ropa, entonces no es cierto que; no vas a cocinar pero
Nacional Mayor de San Marcos. lavas toda la ropa."
IV. La ciudad x es famosa por el coliseo.
Sería lo mismo que dijera:
V. En su cima los Andes sostengan la bandera o pen-
A) No cocinas y lavas toda la ropa.
dón bicolor, que a los siglos anuncie el esfuerzo
que ser libres, por siempre nos dio. B) Si lavas toda la ropa entonces cocinas.
C) Cocinas y lavas toda la ropa.
A) I, II y V B) I, II y III
D) Cocinas y no lavas toda la ropa.
C) I y II D) II, III y V
7. Simplifique la siguiente proposición compuesta
2. Si la siguiente proposición es falsa,
determine el valor de verdad de p, q y t en el orden [ ( (p ∆ q) → r) ∧ (r ∧ ~s) ] ∨ [ (p ↔ q) ∧ ~s ]
indicado. A) ~ s B) r ∧ ~ s
A) VFF B) VFV C) p ∧ ~ s D) p

C) VVF D) FVV 8. Definamos el operador lógico ⊗ mediante la siguiente


tabla

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

11. Sean las proposiciones C) r D) p ∧ r

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.

12. Reduzca el siguiente esquema molecular: A) p ◊ q


B) q ∆ p
~(p → s) ∧ {[ (~r ∨ q) → p] ∧ (p → s)}
C) (p ∧ q) ∨ ~(q ◊ p)
A) ~s B) p ∨ s
D) ~q ◊ (p ∨ q)
C) p ∧ s D) p

También podría gustarte

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy