Aprende Lógica

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

	q¬[(p∧q)(rt)]

	(r∨t)¬(pq)

	[q∧(qr)][¬(q∧r)¬r]

	[p∨(qr)][¬p∨(qr)]

	¬[(pr)∨(¬p¬¬q)]

	{p∧[(pq)(qr)]}→s

	[(pq)→¬r]¬¬[q(qr)]

	¬p[p∨(qr)]

	[(p→r)(rs)]∨(p¬¬q)

	[(p→q)(pr)]↔¬(ps)

	r→[q(qr)]

	¬¬q[p∧¬(r)]

	(r∧s)(pr)

	r¬{(p∧¬¬q)[(pr)∨(rs)]}

Practica la dominancia de conectivas.