ejercicio de representación simbólica de lógica proposicional
Si el derecho es para todos, entonces el derecho es universal y si el derecho no es universal, luego, el derecho no es para todos
tiene que salir tautologia