👉 In mathematical logic, the concept of "super-inference" is used to describe a logical relation between two propositions. The term comes from the Greek words "super" meaning higher and "inferior," which means less than or above. The definition of super-inference can be stated as follows: Suppose we have two propositions P1 and P2. If P1 is true, then there exists an antecedent (a proposition) Q such that if Q is true, then P2
