On the propositional calculus with a variable functor, $C \delta pC \delta Np \delta q$
Shôtarô Tanaka · Proceedings of the Japan Academy Series A Mathematical Sciences · 1966
In this note, we shall prove that CpCNpq implies 1) CpCqp, 2)CCpCqrCCpqCpr 3)CCNpNqCqp.As the substitution rules for are well-known, we omit these.(For example, see [1 Lukasiewicz, [2 Meredith or [3 Prior.)For the details on the propositional calculus with a variable functor 3,CCprCCNprCqr.i a/' "3, 3 CpCNpq. 1/CpCNp', q/Np *C3 q/p4, 4 CCpCNpNpCpCNpNp.3 p/CpCNpNp, q/NCpCNpNp *C3 q/Np--5, 5