Can more than one conditional proof be used in an argument?
Briefly yes, it is permissible to use C.P. more than once in a given formal proof. But either one must be “nested” fully within the other, or they must be completely distinct. They cannot “overlap.” Here is an example for an interesting argument: Continue reading Repeated Conditional Proof