3 - Operação Bicondicional (↔)

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.

R: p ↔ q