A model for describing reasoning in logical tasks