Practica la dominancia de conectivas.

Identifica cuál es la conectiva principal y determina qué tipo de enunciado es cada uno de los siguientes:

¬[(pq)(rt)]q
¬(pq)(rt)
[¬(qr)¬r][q(qr)]
[¬p(qr)][p(qr)]
¬[(¬p¬¬q)(pr)]
s{p[(pq)(qr)]}
¬¬[q(qr)][(pq)¬r]
[p(qr)]¬p
(p¬¬q)[(pr)(rs)]
¬(ps)[(pq)(pr)]
[q(qr)]r
[p¬(r)]¬¬q
(pr)(rs)
¬{(p¬¬q)[(pr)(rs)]}r

Después de esta práctica, veamos en la siguiente sección cómo aplicar estos conocimientos a la construcción de tablas de verdad para enunciados con un cierto grado de complejidad.

Página siguiente