Return to Article Details P then Q. Logic, instantiation and norm: the importance of logic in the legal reasoning and the judicial practice