A bicondicional, representada pelo símbolo "", é uma proposição composta formada por duas proposições quaisquer, A e B, que estão ligadas pelo conectivo "se e somente se". Ela pode ser entendida como a combinação das proposições "se A então B" e "se B então A". Também é possível expressá-la de outras formas equivalentes, como "A se e só se B", "Todo A é B e todo B é A", "A somente se B e B somente se A", entre outras. Uma proposição bicondicional é verdadeira quando as proposições que a compõem têm o mesmo valor lógico (ambas verdadeiras ou ambas falsas), e é falsa quando as proposições têm valores lógicos contrários (uma verdadeira e outra falsa).
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar