truth-functional logic Synonyms