A SIMPLE PROOF IN PROPOSITIONAL LOGIC 

          
            
      A->B           Look at the conclusion below!
                      
                      
               ¬B   
            :         
            :
            
           

            ¬A   Ask: how can one use the negation-introduction rule here?