LÓGICA E INFORMÁTICA JURÍDICA.