Understanding the terminology of logical reasoning in computer science (2024) | Dark Hacker News