Julgue os itens que se seguem, considerando que P e Q sejam proposições adequadas.
A sentença (~P v Q) ↔ ((~Q) → (~P)) será sempre verdadeira, independentemente das valorações de P e Q como verdadeiras ou falsas.