Lógica proposicional 1. Indica cuántos de los siguientes enunciados son 7. Construye la tabla de verdad de la proposición proposiciones: ∼[(p ∧ q) ↔ (q ∨ ∼p)] → p, e indica los valores • Él nació en Lima. de verdad del operador principal. • 2 es un número primo. a. V F V F c. V V V V e. F F F V • ¿Qué día es hoy? b. V V F F d. F F F F • ¡Ayúdame! 8. Si la proposición compuesta (∼p ∧ ∼q) ↔ (∼p ∧ t) • 6 – 3 ≤ 9 es verdadera y "p" es falsa, indica el valor de ver- a. 3 b. 1 c. 4 d. 5 e. 2 dad de (p ∨ q) ∨ t. 2. Escribe dentro de los recuadros “S” si la proposi- a. V c. No se puede ción es simple o “C” si es compuesta. b. F precisar. I. 2 + 8 ≤ 6 II. x + 3 ≥ 9 9. Determina el valor de verdad de las siguientes III. O Luis es abogado o ingeniero. proposiciones: IV. Si Manuel estudia, entonces podrá I. No es verdad que 5 + 5 = 10 o 8 + 6 = 12 aprobar el examen. II. No es cierto que si 6 + 6 = 12, entonces V. 8 + 3 < 11 7 + 7 = 13 III. Si 6 + 8 = 14, entonces 8 + 8 = 16 3. Construye la tabla de verdad de la proposición [(∼p ↔ q) ↔ q] e indica los valores de verdad IV. 7 + 3 ≠ 10 si y solo si 5 + 2 = 7 del operador principal. a. F F F F c. V V V V e. V V F F a. V V V V c. V F V V e. V V F F b. F V F V d. F V V F b. F F V V d. F F V V 10. Indica el valor de verdad del esquema molecular 4. Formaliza la siguiente proposición: [(p → q) ∧ (q → r)] → (p → r), si p ≡ V; q ≡ F y r ≡ V. Si no trabajo y no duermo, entonces no ayudo a. V c. No se puede a mis padres. b. F precisar a. (p ∧ ∼q) ∨ ∼r d. (∼p ∧ ∼q) → ∼q b. (p ∨ q) ∧ r e. (∼p ∧ ∼q) → ∼r 11. El esquema molecular p ↔ (∼q ∨ p), es una: c. (∼p ∧ ∼q) ∧ ∼r a. contradicción d. disyunción 5. Si la proposición compuesta ∼ [(p → q) → q] es b. tautología e. conjunción
verdadera, indica el valor de verdad de: c. contingencia ∼ [(p ∨ q) ∧ ∼ q]. a. V 12. Si se sabe que la proposición “p” es verdadera, b. F ¿en cuáles de los siguientes casos es suficiente dicha información para determinar el valor de c. No se puede precisar. verdad de las siguientes proposiciones? 6. Determina el valor de verdad de la siguiente for- mula lógica, si p y r son verdaderas. I. ∼[(p ∨ q) → (V → ∼ p)] ∼ [(p → ∼r) ∧ (p ∨ r)]. II. (p ∧ r) → (p ∧ q) a. V III. (p ∨ t) ↔ p b. F a. Solo I c. I y III e. Todas c. No se puede precisar. b. Solo II d. I y II