APA Dictionary of Psychology

n. in logic, the principle that there are two and only two truth values, so that every proposition is necessarily either true or false. Compare infinite-valued logic.