- Binary operations
- >
- Logical consequence
- >
- Inference
- >
- Immediate inference

- Propositional calculus
- >
- Logical consequence
- >
- Inference
- >
- Immediate inference

Inverse (logic)

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

Superaltern

No description available.

Contraposition (traditional logic)

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

Converse (logic)

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

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 i

Subalternation

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

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

Contradiction

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

© 2023 Useful Links.