Alguns aspectos da lógica e da informática jurídicas