práctica inicial a partir de simbolización
DESCRIPTION
práctica de simbolización lógicaTRANSCRIPT
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)]