verificação de implicações Synonym