Definición de las leyes de la lógica

Empareja cada uno de los nombres de las leyes que aparecen en la columna de la izquierda con sus correspondientes representaciones simbólicas, que aparecen desordenadas en la columna de la derecha.

Rellena en cada recuadro la letra correspondiente a la forma simbólica correspondiente a cada ley.

1.	Doble negación			a.	(p∨(q∨r))((p∨q)r)
2.	Propiedad conmutativa de la conjunción			b.	(p→q)(¬pq)
3.	Propiedad conmutativa de la disyunción			c.	(p∨q)(qp)
4.	Propiedad asociativa de la conjunción			d.	(¬(p∧q))((¬p)∨(¬q))
5.	Propiedad asociativa de la disyunción			e.	p↔¬(¬p)
6.	Una de las leyes de DeMorgan			f.	(p↔q)((pq)∧(qp))
7.	Definición del implicador			g.	(p∧(q∧r))((p∧q)r)
8.	Contrarrecíproco del implicador			h.	(p∧q)(qp)
9.	Definición del coimplicador			i.	(p→q)(¬q¬p)

Comprueba tus respuestas: