Se (P↔Q) é V, então é V: A) (P→Q)∨(Q→P) B) (P→Q)∧(Q→P) C) ¬P∨¬Q D) P∨Q

Para resolver a questão, precisamos entender o que significa a proposição \( P \leftrightarrow Q \) (P se e somente se Q). Essa proposição é verdadeira quando P e Q têm o mesmo valor de verdade, ou seja, ambos são verdadeiros ou ambos são falsos. Agora, vamos analisar as alternativas: A) \( (P \rightarrow Q) \lor (Q \rightarrow P) \) - Esta proposição é verdadeira se pelo menos uma das implicações for verdadeira. Não garante que P e Q tenham o mesmo valor de verdade. B) \( (P \rightarrow Q) \land (Q \rightarrow P) \) - Esta proposição é verdadeira se ambas as implicações forem verdadeiras, o que significa que P e Q têm o mesmo valor de verdade. Portanto, esta é uma boa candidata. C) \( \neg P \lor \neg Q \) - Esta proposição é verdadeira se pelo menos uma das negações for verdadeira, o que não garante que P e Q tenham o mesmo valor de verdade. D) \( P \lor Q \) - Esta proposição é verdadeira se pelo menos uma das proposições for verdadeira, o que também não garante que P e Q tenham o mesmo valor de verdade. Dessa forma, a alternativa correta é: B) \( (P \rightarrow Q) \land (Q \rightarrow P) \).