Что такое -Логика, вопрос по информатике

Логика в информатике — это направления исследований и отраслей знания, где логика применяется в информатике и искусственном интеллекте.

Логика - это наука о формах и законах правильного мышления