Considerando que P e Q representem proposições conhecidas e que V e F representem, respectivamente, os valores verdadeiro e falso, julgue o próximo item.
Considerando que P e Q representem proposições conhecidas e que V e F representem, respectivamente, os valores verdadeiro e falso, julgue o próximo item.
As proposições Q e P → (¬ Q) são, simultaneamente, V se, e somente se, P for F.