Формальная логика и мышление, вывод и рассуждение