Logical Connectives and Operators