Text this: P then Q. Logic, instantiation and norm: the importance of logic in the legal reasoning and the judicial practice