A operação bicondicional está presente
em proposições compostas onde há conectivo
“...se e somente se...”, simbolicamente representado
por “↔”,
que expressa a ideia de condição bilateral. Por
exemplo:
A lua nasce se e somente se o sol se põe.
p: A lua
nasce.
q: O sol se põe.
R: A lua nasce se e somente se o sol se põe.