La Bicondicional

 La Bi condicional ✌🏼
 
    La biciondicional es un conectivo lógico denotado por "que conecta dos proposiciones 
formando así, una nueva proposición pq, tal que su validez es verdadera si sus proposiciones que la componen tiene el mismo valor de verdad y falsa si tiene valores de verdad opuestos.

Para dos proposiciones p y q conectados por una bicondicional pueden depender mutuamente entre si, es decir son proposiciones DEPENDIENTES. Aquí p puede ser antecedente de q como también q puede ser el antecedente de p.

Como dos proposiciones bajo este conector son mutuamente dependientes, no existe jerarquía entre las dos.

El conector de la bicondicional es conmutativo, es decir, cumple la siguiente equivalencia 

pqqp


El significado literal de la bicondicional lógica entre dos proposiciones o enunciados abiertos es «Si y solo si«, en este caso, la proposición 
pq se lee «p si y solo si q».







Comentarios

Entradas populares