tipos de lógica jurídica