I'm trying to provide names of meta-theorems at each stage in my proof, and I forgot the name of the rule that says $a \vdash b$ and $b \vdash c$ then $a \vdash c$. Does anyone know?
Asked
Active
Viewed 97 times
0
-
I looked through my textbook but couldn't find it. – Kvass May 02 '15 at 07:38
-
2I think it is transitive. – Bhaskar May 02 '15 at 07:44
-
The symbol is called Turnstile. – Prasun Biswas May 02 '15 at 07:58
-
possible duplicate of Implies vs. Entails vs. Provable – Prasun Biswas May 02 '15 at 08:03
-
This isn't a concept question - I'm just looking for the name of this rule. Seems like transitive might be correct. – Kvass May 02 '15 at 08:06
-
2It can be called Hypothetical syllogism. – Mauro ALLEGRANZA May 02 '15 at 12:25
1 Answers
0
It express the transitivity of the deducibility relation.
We may compare it with the "principle of the syllogism" in Alfred North Whitehead & Bertrand Russell, Principia Mathematica (2nd ed - 1927).
And also with the "propositional version" of the argument form called Hypothetical syllogism.
Mauro ALLEGRANZA
- 94,169