Professional Documents
Culture Documents
Departamento de Matemáticas
Facultad de Cs. de la Salud
FMM 003 - Matemática General
3. Elaborar una tabla de verdad para cada una de las siguientes proposiciones:
(a) p → (p ∨ q)
(b) [p ∧ (p → q)] → q
(c) (p → q) → (q → p)
(d) [(p → q) ∧ (q → r)] → (p → r)
(a) (p ∧ q) ∧ (p ∨ q)
(b) [(p ∧ q) ∧ s] ↔ [p ∧ (q ∧ s)]
(c) (p → q) ∧ p ∧ q ∧ r → (p ∨ q)
(a) [(p ∨ q) ∧ p] ≡ (p ∧ q)
(b) [p ∨ (p ∧ q)] ≡ p
(c) [(p ∨ q) ∨ (p ∧ q)] ≡ p
(d) [p → (q ∧ r)] ≡ [(p → q) ∧ (p → r)]
(a) (p → q) → [p → (q ∧ p)]
(b) (q → p) → [(p ∧ q) → (p → q)]
7. Considerar las funciones proposicionales:
p(x) : x es par
q(x) : x es multiplo de 5
r(x) : x ≥ 8
Determinar el valor de verdad de:
8. Utilizando el cuantificador apropiado, expresar en forma simbólica cada una de las proposiciones
siguientes, y luego determinar su valor de verdad: