Что такое логика?

• это наука о суждениях и рассуждениях;
• это наука, изучающая законы и методы накопления,обработки и сохранения информации с помощью ЭВМ;
• это наука о формах и законах человеческого мышления и, в частности, о законах доказательных рассуждений;
• это наука, занимающаяся изучением логических основ работы компьютера.