I imagine an exercise with paper which contains for example many shapes (triangles, squares, circles) of different sizes and colors. There is a statement, for example “All circles are red.” The task is to say whether the sentence is true or false, and in case it is false, it should be improved. For example “All small circles are red.” There should be always some rule, but it should be usually a little more specific than the original statement.
I am not sure if this is a good idea, but this could also be done as a computer program with some expression building tool. User would see a set of items on the top of the screen, and in the bottom part they would construct an expression to achieve some goal. For example the goal is to write an expression that specifies all red objects, and it must be built from predicates “triangle”, “square”, “circle”, “big”, “small” and operators “and”, “or”, “not”. When user writes for example “red and small”, all red and small objects are underlined, so the user interactively sees the difference between their result and the required solution.
I imagine an exercise with paper which contains for example many shapes (triangles, squares, circles) of different sizes and colors. There is a statement, for example “All circles are red.” The task is to say whether the sentence is true or false, and in case it is false, it should be improved. For example “All small circles are red.” There should be always some rule, but it should be usually a little more specific than the original statement.
I am not sure if this is a good idea, but this could also be done as a computer program with some expression building tool. User would see a set of items on the top of the screen, and in the bottom part they would construct an expression to achieve some goal. For example the goal is to write an expression that specifies all red objects, and it must be built from predicates “triangle”, “square”, “circle”, “big”, “small” and operators “and”, “or”, “not”. When user writes for example “red and small”, all red and small objects are underlined, so the user interactively sees the difference between their result and the required solution.