Category: Immediate inference

In logic, an inverse is a type of conditional sentence which is an immediate inference made from another conditional sentence. More specifically, given a conditional sentence of the form , the inverse

No description available.

In traditional logic, contraposition is a form of immediate inference in which a proposition is inferred from another and where the former has for its subject the contradictory of the original logical

In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the implication P → Q, the converse is Q → P. For the

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 i

Subalternation is an immediate inference which is only made between A (All S are P) and I (Some S are P) categorical propositions and between E (No S are P or originally, No S is P) and O (Some S are

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", the immediate inference can be made that "no to

In traditional logic, a contradiction occurs when a proposition conflicts either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. Illustrating a gen