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

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