結果 : explain deductive logic and give an example