PDF Nombre:__________________________________________________ Año y sección:______________
Proposiciones. Evaluación de fórmulas lógicas
Expresa en lenguaje simbólico las siguientes Evalúa las siguientes fórmulas e indica si se trata proposiciones. de tautologías, contingencia o contradicción. 1. Si 7 es un número primo y no es par, entonces, 22. (p ∧ p) → p 21 es múltiplo de 7 o no es divisor de 42. 23. [(p ∧ (~p)) → q] 2. 12 es un número par si y solo si 12 no es impar. 24. [(~p) ∧ (p ∧ q)] → q 3. Los decimales periódicos son racionales o 25. p ∧ [(~p) ∧ (~p)] irracionales. 26. (p ∨ q) → p 4. Aprobaré el examen si solo si estudio mucho. 27. (p ∧ q) → (p ∨ q) 28. (p ∧ q) → q Dada las proposiciones: 29. [(p → p) ∧ (q → r)] → (p → r) p: 2 es número par. q: 4 es el cuadrado de 2. Resuelve y marca la alternativa correcta. r: 20 es múltiplo de 2. s: 10 es la raíz cuadrada de 20. 30. ¿Cuántos de los siguientes enunciados son proposiciones? Determina el valor de verdad de: ___ a) 15 + 12 = 27 b) √144 =72 5. ~p → (r ∨ s) c) x + 6 = 11 d) 12 es múltiplo de 3. 6. (p ∧ q) ↔ s A) 4 B) 3 C) 2 D) 1 7. ~[(p ∧ s) ∧ r] 31. ¿Cuántas proposiciones compuestas hay? 8. ~[r ∧ (p → ~r)] a) 3 es número impar. Demuestra que las siguientes proposiciones son b) 2 y 4 son divisores de 24. __ __ equivalentes. c) Si √54 = 3√6 , entonces 32 = 9. 9. (~p ∨ ~q) ≡ ~(p ∧ q) d) No es cierto que 152 = 225. 10. (p → ~q) ≡ (~p ∨ ~q) A) 1 B) 2 C) 3 D) 4
11. (p ∧ ~q) ≡ ~ (~p → q) 32. Si p ≡ V y q ≡ F, ¿cuántas de las siguientes
proposiciones son verdaderas? Si p ≡ V, q ≡ F y r ≡ F, determina el valor de a) p → q = V b) ~q ∧ p = F verdad de las siguientes proposiciones. c) ~(p ↔ q) = F d) p ∨ ~q = V 12. ~q → (p ∧ r) A) Todas B) 1 C) 2 D) Ninguna 13. (~p ∨ ~r) ↔ ~q Santillana Matemática 2
33. Al evaluar la fórmula (p → q) ↔ (~q → ~p), se
14. [~q ∧ (p ∨ r)] → ~p obtiene: 15. [p → (p → r)] → [(p ∧ q) → ~r] A) VVVV - Tautología B) VVFF - Contingencia En las siguientes proposiciones compuestas, determina el conectivo principal, rodéalo. C) FFVV - Contingencia 16. ~(p → r) ↔ (r → q) D) FFFF - Contradicción
17. ~p ∧ (q ∨ r) 34. Al evaluar la fórmula [(p ∧ q) ∨ ~p] → q, se