mostrar texto associado
As proposições Q e P → (¬ Q) são, simultaneamente, V se, e somente se, P for F.