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(q↔r)]
[¬p(q∧r)][p(q∧r)]
¬[(¬p¬¬q)∨(pr)]
s→{p[(pq)↔(qr)]}
¬¬[q(q↔r)][(pq)→¬r]
[p∨(qr)]¬p
(p¬¬q)∨[(pr)(r∧s)]
¬(ps)↔[(pq)(p→r)]
[q∧(qr)]r
[p¬(r)]∧¬¬q
(p→r)(rs)
¬{(p¬¬q)∨[(pr)(r∧s)]}r

Actividad relacionada:

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