Tag: Basic Connectives in Logic