PL2: (p > (q > r)) > ((p > q) > (p > r)), [CCpCqrCCpqCpr]

Notes

This is known as the "S" combinator

Systems

• Positive Propositional Logic
• Standard Logic
• C4
• ...
• [*** This needs to be fleshed out ***]

Go to ...

• Axioms Page
• Logic Structures Page
• Logic Page
• John Halleck's home page

© Copyright 2004 by John Halleck, All Rights Reserved
This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/CCpCqrCCpqCpr.html
This page was last modified on August 19th, 2006.