Which of the following is the correct representation of the biconditional connective 'if and only if'? a) p → q b) p ↔ q c) p ∧ q d) p ∨ q e) ¬p

A alternativa correta é a letra b) p ↔ q. A bicondicional é uma operação lógica que só é verdadeira quando ambas as proposições possuem o mesmo valor lógico, ou seja, quando ambas são verdadeiras ou ambas são falsas. A representação "p ↔ q" significa que "p é verdadeiro se e somente se q é verdadeiro".