SE E SOMENTE SE. 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: