Disjunction Introduction Rule
The disjunction introduction rule states that from any single proposition, one can…
Disjunction Elimination
Disjunction elimination, also known as proof by cases, is a fundamental rule…
Contraposition in Logic
Contraposition is a logical principle establishing the equivalence between a conditional statement…
Conjunction Introduction: Rule of Inference
Learn about the conjunction introduction, a fundamental rule of inference in logic.…
Conjunction Elimination
Conjunction elimination is a fundamental rule of inference in propositional logic. It…
Addition Rule of Inference in Formal Logic
The addition rule in formal logic allows inferring a disjunction from a…