this propositions formed using connectives and​