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