The Theory of Implication
โ
A. N. Prior
๐
Article
๐
1963
๐
John Wiley and Sons
๐
English
โ 316 KB
THE THEORY OF IMPLICATION by A. N. PRIOR in Manchester (England) It is shown in [7] that the formula CCCCpqrsCCqsCps, when combined with CpCqp , yields by substitution and detachment the complete classical system of pure material implication, and when combined with CqCpp yields the complete system o