Deductive la gì