Contraposition in Logic
Contraposition is a logical principle establishing the equivalence between a conditional statement…
Conservative Extension in Logic and Mathematics
A conservative extension adds new axioms or rules to a theory without…
Consequentia Mirabilis: The Principle of Indirect Proof
Consequentia mirabilis, a classical logic principle, asserts that if the negation of…
Connexive Logic
Connexive logic explores the principles of connection between propositions, focusing on relationships…
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…
Causal Modal Logic
Causal modal logic extends standard modal logic with modalities for necessity, possibility,…