Conditional proof

As an example of a conditional proof in symbolic logic, suppose we want to prove A → C (if A, then C) from the first two premises below: