Proposición: bicondicional

💢 27 de junio, 2019

💭 Este día vimos las proposiciones bicondicionales y su aplicación con las Leyes de De Morgan.

El punto visto este día me resultó sumamente fácil aunque co un procedimiento un tanto más largo en las Leyes de De Morgan que los usados con los otros tipos.

💬 Las bicondicionales se escriben usando el conector "si y solo si", y su símbolo es ⇿.

Su tabla de valores de verdad es:

👉 El chivo de esta proposición es saber que cuando ambos valores son falsos o ambos so verdaderos, el resultado será verdadero. 

Lógicamente, ambos enunciados deben tener el mismo valor, pues las bicondicionales presentan dos condiciones para existir, y si una de ellas no cumple con lo dicho en la otra, se deduce que los enunciados son incorrectos.

Su Ley de De Morgan:

Ejemplo;
p= Ana es vegetariana.
q= Ana ama a los animales.

~ (Ana es vegetariana si y solo si ama a los animales).

EQUIVALE A:

Ana es vegetariana y no ama a los animales, o, ama a los animales y no es vegetariana.