How to decide if a proposition is true

• Write a proof

1. To prove a → b, assume a and present an argument for b (→I)

2. If a is proved, and if a → b is proved, then b is proved (→E)