Abstract

In thinking about reducing the symbolization of sentential logic to a minimum , where the conditional no longer appears in system, and hence in no proof in the system, one might wonder what would become of the Rule of Conditional Proof. Where this rule is said to be essential for the completeness of the system, some rule or other needs to be developed to do the work of Conditional Proof. The author attempts to accomplish this while specifying a minimum set of rules and axioms for {~, v}