Understanding the terminology of logical reasoning in computer science (2024)rbachmann.net·2 pts·rb-2·0