How is the rule of conditional proof used :

1) in propositional calculus and

2)in mathematical proofs .