Algunos elementos de lógica, conjuntos y topología difusas