A fórmula \((p \vee q) \leftrightarrow (q \vee p)\) é uma: a. Contradição b. Contingência c. Tautologia d. Nenhuma das anteriores

Para analisar a fórmula \((p \vee q) \leftrightarrow (q \vee p)\), precisamos entender o que ela representa. Essa fórmula expressa a comutatividade da disjunção (ou seja, a ordem dos operandos não altera o resultado). Vamos analisar as opções: a. Contradição - Uma contradição é uma proposição que é sempre falsa. Essa fórmula não é sempre falsa. b. Contingência - Uma contingência é uma proposição que pode ser verdadeira ou falsa, dependendo dos valores de verdade de \(p\) e \(q\). Essa fórmula não se encaixa nessa definição. c. Tautologia - Uma tautologia é uma proposição que é sempre verdadeira, independentemente dos valores de verdade de suas variáveis. Como a fórmula expressa uma verdade lógica (a comutatividade da disjunção), ela é sempre verdadeira. d. Nenhuma das anteriores - Como já identificamos que a fórmula é uma tautologia, essa opção não é correta. Portanto, a resposta correta é: c) Tautologia.