= Relevance logic
{wiki=Relevance_logic}
Relevance logic, also known as relevant logic, is a type of non-classical logic that seeks to address certain shortcomings of classical logic, especially concerning implications and entailment relationships. In classical logic, an implication (if \\( P \\), then \\( Q \\)) can be true even if \\( P \\) and \\( Q \\) are unrelated, as long as \\( P \\) is false or \\( Q \\) is true. This can lead to paradoxical results and irrelevant conclusions.
Back to article page