Full Logic|Inductive vs Deductive Logic