Direct proof

• To prove. that “P implies Q” then we need
  1. Write “Assume P” or “if P then”
  2. Show that Q logically follows