conditional-proofs

A conditional proof is used to derive a conditional wff. A conditional proof involves that if the consequent of conditional wff can be derived from the given premises and derivations by assuming Antecedent to be $true$.

For example,

$$\begin{array}{l}P\to (Q\vee R)\\ P\to \neg S\\ S\leftrightarrow Q\\ P\to R\end{array}$$

If we can derive $R$ by assuming $P$ to be true and using rules of inferences and replacement rules on those given premises, then we can conclude that $P\to R$.

References

1. Conditional Proofs