Describir: Os silogismos e as suposições contraditórias de Raimundo Lúlio como métodos resolutivos de inconsistência