Compares the effects of teaching undergraduate logic courses using Hyperproof (a graphical computer software program) and a traditional syntactic teaching method. The results indicate that there is significant transfer from the logic courses to a range of verbal reasoning problems, and that individual differences in aptitude should be considered when choosing teaching methods. (33 references) (MDM)