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

Notes

This is known as the "S" combinator

Systems


Go to ...


© 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.