logical_connectives