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 -
Category
Documents
-
view
214 -
download
0
description
práctica de simbolización lógica
Transcript of Práctica Inicial a Partir de Simbolización
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)]
