Rename logical connective predicates to operations