O conectivo “p se e somente se q”, chamado de bicondicional e escrito p ↔ q, é a conjunção de duas condicionais: "p então q" e "q então p". Ou seja, “p se e somente se q” é logicamente equivalente a "(p então q) e (q então p)". A Tabela Verdade da bicondicional, encontra-se a seguir, parcialmente preenchida.

Ao preencher, corretamente, a sexta coluna da tabela, que representa a bicondicional "p se e somente q", ordenadamente, de cima para baixo, obtém-se como resultado os valores lógicos: