Implicación - Lista de ejercicios

Implicación

Conector "implica". Si se tiene dos proposiciones y significa que si es verdadera, entonces también lo es.

Se indica como

Asociatividad

Propiedad de ser asociativo. Una ley de composición interna sobre un conjunto se denomina asociativa si para todos sus elementos y se tiene:

Negación de la disyunción

La proposición es equivalente a la proposición

	Si o entonces En efecto, el producto de dos números es nulo si uno de los números es nulo.
	Si entonces o En efecto, el producto de dos números es nulo, entonces se sabe que uno de los números es nulo.
	Si entonces y La frase 3 es la contrapuesta de la frase 1.
	Si entonces o De hecho, si se sabe que los dos números y son no nulos. Aquí se afirma que uno de los dos es no nulo lo que es verdad puesto que el "o" es no exclusivo.
	Si entonces y Si un producto es nulo, uno de los factores es nulo, pero no necesariamente los dos.
	Si y entonces Esta frase es la contrapuesta de la frase 4 y ésta es verdadera.
	Si y entonces Esta frase es la contrapuesta de la frase 2.
	Si o entonces Esta frase es la contrapuesta de la frase 5. Si uno de los dos miembros es no nulo, se puede afirmar que el producto es no nulo: el otro miembro puede ser nulo. Ejemplo: Si y entonces