(p>q) > ((q>r)>(p>r)) [CCpqCCqrCpr]


This axiom is also called "T suf", and like its relative (p>q) > ((r>p)>(r>q)) ("T pre") in the presence of Uniform Substitution and detachment (for >) they yield the rule if |- p>q and |- q>r infer |- p>r . [Chidgey, 1973, page 273]

In the presence of either of the rules:

Or the axiom:

T pre and T suf are equivalent. (And not in a whole of other cases -JH) [Chidgey, 1973, page 273]

Go to ...

© Copyright 2007 by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/CCpqCCqrCpr.html
This page was last modified on January 22nd, 2007.