An immediate inference is an inference

Inference

Inference is the act or process of deriving logical conclusions from premises known or assumed to be true. The conclusion drawn is also called an idiomatic. The laws of valid inference are studied in the field of logic.Human inference Inference is the act or process of deriving logical conclusions...

 which can be made from only one statement

Statement

Statement may refer to:* A kind of expression in language *Statement , declarative sentence that is either true or false*Statement , the smallest standalone element of an imperative programming language...

 or proposition

Proposition

In logic and philosophy, the term proposition refers to either the "content" or "meaning" of a meaningful declarative sentence or the pattern of symbols, marks, or sounds that make up a meaningful declarative sentence...

. For instance, from the statement "All toads are green." we can make the immediate inference that "No toads are not green." This new statement is known as the contrapositive of the original statement. There are a number of logical operations which can validly be made as an immediate inference.

See also

• Contraposition (traditional logic)
• Conversion (logic)
• Obversion
  Obversion
  In traditional logic, obversion is a "type of immediate inference in which from a given proposition another proposition is inferred whose subject is the same as the original subject, whose predicate is the contradictory of the original predicate, and whose quality is affirmative if the original...
  
  
• Transposition (logic)
  Transposition (logic)
  In the methods of deductive reasoning in classical logic, transposition is the rule of inference that permits one to infer from the truth of "A implies B" the truth of "Not-B implies not-A", and conversely. Its symbolic expression is:...
  
  
• Inverse (logic)
  Inverse (logic)
  In traditional logic, an inverse is a type of conditional sentence which is an immediate inference made from another conditional sentence. Any conditional sentence has an inverse: the contrapositive of the converse. The inverse of P \rightarrow Q is thus \neg P \rightarrow \neg Q...
  
  
• Square of opposition
  Square of opposition
  In the system of Aristotelian logic, the square of opposition is a diagram representing the different ways in which each of the four propositions of the system are logically related to each of the others...
  
  
• Superaltern
  Superaltern
  A superaltern is a universal proposition in traditional logic that is the basis for immediate inference to a corresponding subaltern.As an example, the superaltern "All crows are black" corresponds to the subaltern "Some crows are black". However, it is not an accurate logical inference, as "All...