INFORME

TEMA: Proposiciones Equivalentes.

OBJETIVOS:
Interpretar tericamente el concepto de proposiciones equivalentes.
Determinar fcilmente cuando dos proposiciones son equivalentes entre s.
SNTESIS:
PROPOSICIONES EQUIVALENTES.
Una aplicacin de las tablas de verdad consiste en mostrar que dos proposiciones son
equivalentes; por definicin, dos proposiciones son equivalentes si tienen el mismo
valor de verdad en todas las situaciones posibles. (Miller, 2006 p. 109)
Una proposicin es lgicamente equivalente a otra cuando cada una de las asignaciones
de valores de verdad a las proposiciones simples que las componen genera el mismo
valor de verdad en ambas proposiciones. En otras palabras, dos expresiones son
lgicamente equivalentes si sus tablas de verdad son iguales. (Wikimedia, 2016)
Ejemplo:
Son equivalentes las proposiciones?
~p ~q

p
V
V
F
F

Q
V
F
V
F

p
V
V
F
F

q
V
F
V
F

~p
F
F
V
V

y ~ (p q)

~q
F
V
F
V

p q
V
V
V
F

~p ~q
F
F
F
V

~ (p q)
F
F
F
V

Puesto que los valores son los mismos en todos los casos, como se muestran en las
columnas en negrita, las proposiciones ~p ~q y ~ (p q) son equivalentes, La
equivalencia se escribe con un smbolo de tres barras, . Usando este smbolo ~p ~q
~ (p q).
Del mismo modo, las proposiciones ~p ~q y ~ (p q) son equivalentes. Llamamos a
estas equivalencias las leyes De Morgan.

P
V
V
F
F

q
V
F
V
F

P
V
V
F
F

q
V
F
V
F

~p
F
F
V
V

~q
F
V
F
V

p q
V
F
F
F

~p ~q
F
V
V
V

~ (p q)
F
V
V
V

~p ~q ~ (p q)

CONCLUSIONES:
Mediante el tema expuesto se puedo concluir que cada estudiante puede dar un
claro concepto sobre proposiciones equivalentes.
Adems se puede construir tablas de verdad e identificar si dos proposiciones
son equivalentes entre s.
As mismo se mejor el conocimiento acerca de la simbologa sobre
equivalencia lgica y las leyes De Morgan. (Miller, 2006 pp. 109,110)
BIBLIOGRAFA:

 Miller, C. D. (2006). Matemtica Razonamiento y Aplicaciones. Mxico:

Pearson Educacin de Mxico.
Wikimedia. (26 de Abril de 2016). Wikimedia. Obtenido de
https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional/Equivalencias