- TIPS AFS
I. Realice la comprobación semántica de por las siguientes proposiciones:
1. (p^¬p)
2. *(pv¬p)
3. ¬(¬svs)
4. (p^¬p)->(pv¬p)
5. (pv¬p)->(p^¬p) [solución AFS]
6. ((((pvp)^p)<->p)vp)->p
7. pv(p^(p<->(pv(p->p))))
8. (pv¬p)v¬q
9. (p<->¬q)^(q<->¬p)
10. ¬(¬(¬p^¬q)^(pvq))
11. ((p^q)^s)<->(p^(q^s))
12. ((pvq)vs)<->(pv(qvs))
13. (p->(q->s))<->((p->q)->s) [solución AFS]
II. Realice la comprobación semántica de algunas reglas básicas de DN y algunas reglas derivadas.
III. Realice la comprobación semántica de los siguientes argumentos:
1.
pvq
p
____
¬q
2.
pvq
p
____
¬q
3.
p->q
q->s
s
_____
p
4.
(pvq)
(p->s)
(q->t)
______
svt
5.
p
________
¬p->(qv¬s)
6.
(s->t)v(¬s->q)
___________
tvq
7.
p^(q^s)
____________
¬((¬sv¬p)v¬q)
8.
s->p
s^¬q
______
¬(p->q)
9.
¬pvq
pv¬s
¬q^¬t
_____
¬(svt)
10.
(pvq)v(s^t)
¬(svq)
_________
p
11.
p->(s->q)
s->t
t->¬m
______
¬mv¬t
12.
(pvq)v(svt)
¬(svq)
_________
p
13.
¬(p^¬p)->q
(pvq)
(qvs)
(m->s)
(q^¬m)->(¬rvs)
_______
(r->s)^(¬q->z)
IV. Realice la comprobación semántica de las siguientes equivalencias
*
(¬X^¬Y)
_______
_______
¬(X^Y)
*
¬Xv¬Y
______
______
(¬X^¬Y)
*
pvq
____________________
____________________
(pvq)^((p->¬q)^(q->¬p))