En el enunciado pq, se dice que p es el (o hipótesis) y q el (o conclusión). Una (o un condicional) es siempre excepto cuando el antecedente es y el consecuente .Mediante el (o bicondicional ) lo que queremos decir es que un enunciado es a la vez condición y para otro. El bicondiconal sólo es cuando sus dos miembros tienen el mismo valor de verdad.