práctica inicial a partir de simbolización

1
Construye las tablas de verdad de las siguientes fórmulas, indicando si se trata de una tautología, una contradicción o una contingencia. 1. p ¬ p 2. q v ¬ p 3. (p ^ q) v ¬ p 4. ¬ (p ^ q) (¬p v ¬ q) 5. [ p p (q r) ^ (¬p v r)] 6. ¬ p (p v q) 7. [ p ^ (q v r)] [ (p ^ q) v (p ^ r)] 8. [ (¬p q) ^ (r q)] (r ¬p) 9. [ (p ^ q) v (r p)] (¬p ^ ¬ r) 10. [p (q v r)] ¬ [p (q v r)] 11. [ (p ¬ q) ^ r] v ¬ ¬ (p r) 12. [p (q v r)] ¬ [¬p v (q v r)]

Upload: ronald-arias

Post on 18-Dec-2015

214 views

Category:

Documents


0 download

DESCRIPTION

práctica de simbolización lógica

TRANSCRIPT

Construye las tablas de verdad de las siguientes frmulas, indicando si se trata de una tautologa, una contradiccin o una contingencia. 1. p p 2. q v p 3. (p ^ q) v p 4. (p ^ q) (p v q) 5. [ p p (q r) ^ (p v r)] 6. p (p v q) 7. [ p ^ (q v r)] [ (p ^ q) v (p ^ r)] 8. [ (pq) ^ (r q)] (rp) 9. [ (p ^ q) v (r p)] (p ^ r) 10. [p (q v r)] [p (q v r)] 11. [ (p q) ^ r] v (p r)12. [p (q v r)] [p v (q v r)]