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