CubeRootOfTrueWhat does "pseudo relevant mean?"
I finally asked ChatGPT to explain to me why RM3 is considered "pseudo relevant"
This is one of those things that's so blindingly obvious I couldn't see it until somebody else pointed it out.
We start with the system R, which is defined in terms of a ternary relation Rxyz. There are a number of axioms.
RM is R + M = R plus the Mingle axiom.
\[ 𝑝→(𝑝→𝑝) \]So in that world, "R" is the definition of relevance. RM3 can prove a statement that R rejects, namely M, the Mingle axiom. Duh.
OK. I've mentioned elsewhere that M is forced if you construct RM properly. They added M to R because it's necessary.
But the question still remains! Why is something defined in terms of a relation Rxyz that models *syntactic* presence of a variable or not, the same thing as a computational set of 3x3 matrices ...
RM3 solves relevance fallacies just fine, using inconsistent values instead of irrelevant variables