connectives in propositional logic