Negação simples e composta e quantificadores; equivalência lógica; linguagem na condicional - Suficiente X Necessário