Truth versus testability in Quantum Logic