taller de fórmulas bien formadas

I. Determinar si las siguientes son FBF's. Si lo son, entonces constrúyalas según las reglas. Si no lo son, explique brevemente por qué.

1. p

2. ¬s

3. m¬

4. ¬¬¬¬q

5. (q)

6. ((s))

7. ¬(s)

8. (¬s)

9. (¬(¬(m))

10. ¬(¬(¬))

11. ((((((¬¬¬¬¬¬¬t))))))

12. p->q

13. p<->¬q

14. ¬p^q

15. ¬(p^q)

16. ((p^¬q)

17. (p¬^q)

18. (p->^q)

19. svmvt

20. (svmvt)

21. (s)v(m)v(t)

22. (svm)vt

23. sv(mvt)

24. (¬sv(¬mv¬t))

25. ((p^->q)vm)

26. (rvs)v(tvp)

27. rv(sv(tvp))

28. ((rvs)vt)vp

29. ((rvs)vtvp)

30. ¬(¬(¬q<->¬t)^¬(¬s¬t))

31. (p^(¬pv(p->p)))vp

II. Determinar los niveles de los conectores lógicos de las siguientes FBF's.