Truth-Functionality, Rough Sets and Three-Valued Logics