Bicondicional y las negaciones de la condicional y bicondicional

Bicondicional 

Su signo es (⟺) y significa "Si y solo si". La regla nos indica que para que sea verdadera, ambas proposiciones deben de ser iguales, o sea o las dos son verdaderas o las dos son falsas, de lo contrario la proposición es falsa.


A continuación se presentara una tabla donde se podrá notar mejor la aplicación de la bicondicional:





Por ejemplo: Suponiendo que P= V y Q= F

p⟺(q⋁∼p): V ⟺ (F⋁F) = V ⟺  F = F

Negación de la condicional y la bicondicional 

Negación condicional 

∼ (p ⇒ q) ≣ p ⋀ ∼ q 

Ejemplo: 

P = Hoy es un buen día

Q = Sera un día soleado

∼ (p ⇒ q)= Hoy es un buen día y no será un día soleado.

Negación de la bicondicional

∼ (p ⟺ q) ≣ (p ⋀ ∼ q) ⋁ (q ⋀ ∼ p) 

Basándonos en las proposiciones del ejemplo anterior:

∼ (p ⟺ q) = Hoy es un buen día y no será un día soleado o sera un día soleado y no es un buen día.

Reflexión: Este tema me gusta mucho, desde el colegio lo entendí muy bien y ahorita que lo estamos viendo no se me ha dificultado.