Immediate inference
An immediate inference is an inference which can be made from only one statement or proposition. For instance, from the statement "All toads are green." we can make the immediate inference that "No toads are not green." There are a number of logical operations which can be made as an immediate inference.