Para resolver a questão, vamos analisar a expressão lógica dada: \((p \leftrightarrow q) \land p \rightarrow q\). 1. Entendendo a expressão: - \(p \leftrightarrow q\) é verdadeiro quando \(p\) e \(q\) têm o mesmo valor (ambos verdadeiros ou ambos falsos). - A conjunção \((p \leftrightarrow q) \land p\) é verdadeira quando ambas as partes são verdadeiras. - A implicação \((p \leftrightarrow q) \land p \rightarrow q\) é verdadeira, exceto quando a parte da esquerda é verdadeira e a parte da direita é falsa. 2. Construindo a tabela verdade: | p | q | \(p \leftrightarrow q\) | \((p \leftrightarrow q) \land p\) | \((p \leftrightarrow q) \land p \rightarrow q\) | |---|---|--------------------------|------------------------------------|--------------------------------------------------| | V | V | V | V | V | | V | F | F | F | V | | F | V | F | F | V | | F | F | V | F | V | 3. Analisando a coluna da implicação: - Para \(p = V\) e \(q = V\): resultado é V. - Para \(p = V\) e \(q = F\): resultado é V. - Para \(p = F\) e \(q = V\): resultado é V. - Para \(p = F\) e \(q = F\): resultado é V. Portanto, a tabela verdade para a expressão \((p \leftrightarrow q) \land p \rightarrow q\) resulta em: V – V – V – V. Assim, a alternativa correta é: a) V – V – V – V.