Course staff: Regenerate your assessment instance to pick up changes to the assessment or to get a fresh set of questions.

C4.8. Element pl-order-blocks: DAG grading for proofs

This question illustrates the grading-method="dag" mode of pl-order-blocks, which is especially useful for constructing mathematical proofs.

Prove that $A \land B \land C \rightarrow A \land C$

This example uses the attribute grading-method="dag" to accept any valid topological ordering. The depends attribute on each block specifies which other blocks must appear before it.

Drag from here:

Construct your solution here:

Additional attempts available with new variants

Collection 4

Assessment overview

Total points:	0/360
Score:	0%

Question C4.8

Value:	2
All variants: Open (current)
Total points:	— /10
Auto-graded question

Previous question Next question

Personal Notes

No attached notes

Staff information

Student details

Dev User

dev@example.com

Question

QID:

element/orderBlocksDag

Title:

Element pl-order-blocks: DAG grading for proofs

Variant

Started at:

2026-08-04 16:37:33 (CDT)

Duration:

Show/Hide answer

{
  "conjunction-implies-conjunction": [
    {
      "tag": "1",
      "uuid": "cc45705e-143f-4e55-bcad-a9bec9a7bec9",
      "final": false,
      "index": 0,
      "indent": null,
      "depends": [],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": " Assume $A \\land B \\land C$.",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "2",
      "uuid": "ad60b6c1-3ad6-4f9f-b25b-01ac86160d85",
      "final": false,
      "index": 1,
      "indent": null,
      "depends": [
        "1"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": " Then $A$ is true. ",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "3",
      "uuid": "f9c3123c-f80d-4df1-b7a2-528b22a0ed7f",
      "final": false,
      "index": 2,
      "indent": null,
      "depends": [
        "1"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": " Then $C$ is true. ",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "4",
      "uuid": "c57f14b1-8a66-43ee-9037-15b053f0b267",
      "final": false,
      "index": 3,
      "indent": null,
      "depends": [
        "2",
        "3"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": " Since $A$ and $C$, we know $A \\land C$",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    }
  ]
}

Assessment instance

Assessment:

gallery/elements