Immediate_inference
Immediate inference
Logical inference from a single statement
An immediate inference is an inference which can be made from only one statement or proposition.[1] For instance, from the statement "All toads are green", the immediate inference can be made that "no toads are not green" or "no toads are non-green" (Obverse). There are a number of immediate inferences which can validly be made using logical operations, the result of which is a logically equivalent statement form to the given statement. There are also invalid immediate inferences which are syllogistic fallacies.