منطق ریاضی و استدلال تحلیلی