Respuesta :

a biconditional is a combination of two conditional in which it is true if only and only if the both conditionals are true.

[tex]p\leftrightarrow q=(p\rightarrow q)\wedge(q\rightarrow p)[/tex]