Afirmativo:

Todas as formigas são pequenas
zezé é uma formiga
logo zezé é pequena
(em tautologia fica assim: P⇒Q)

negativo:

nenhum pássaro é roxo
juvenal é um pássaro
logo juvenal não é roxo

(em tautologia fica assim: Q⇒~P)