A proposição (? ? ?) ? (~? ? ~?) representa uma afirmativa que podemos chamar de: