An inductive logic using the same probability functions for both directions of inference necessarily...