11. O conectivo se e somente se e a bicondicional

A bicondicional p se e somente se q é outra proposição que tem como valor lógico V se p e q forem ambas verdadeiras ou ambas falsas, e F nos outros casos. 

O símbolo    representa a bicondicional, com a seguinte tabela-verdade: 

Exemplo

p = 24 é múltiplo de 3
q = 6 é ímpar 
 = 24 é múltiplo de 3 se, e somente se, 6 é ímpar. 

p = 25 é quadrado perfeito
q = 8 > 3 
= 25 é quadrado perfeito se, e somente se, 8 > 3

p = 27 é par
q = 6 é primo
= 27 é par se, e somente se, 6 é primo