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