Логика — это раздел философии, изучающий формы, методы и законы познавательной деятельности, которые могут быть формализованы на логическом языке. Она также рассматривается как наука о законах и формах мышления