搜索 "propositional" 的结果（共 1 个）
connective
combine predicate (bool returning) functions with propositional logic connectives (and, or, not)
MIT