O valor lógico de uma proposição p é verdadeiro e o valor lógico de uma proposição q é falso. Nessas condições, o valor lógico da proposição composta [(~p ↔ q) → p] ^ ~q é:
d) Verdadeiro
[(~V ↔ F) → V] ^ ~F --> substituindo os valores
[(F ↔ F) → V] ^ V ----> resolvendo a negação (negação de V é F, negação de F é V)
[V → V] ^ V ----> resolvendo a bicondicional (falso 'se somente se' falso = verdadeiro)
[V → V] ^ V ----> resolvendo a condicional (Se V então V é V, só seria F se fosse V → F)
V ^ V ----> resolvendo a conjunção (V e V é V)