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:
  • Assume $A \land B \land C$.
  • Since $A$ and $C$, we know $A \land C$
  • Then $A$ is true.
  • Then $C$ is true.
Construct your solution here:

Correct answer

Student view placeholder

In student views this area is used for assessment and score info.
Tools

Staff information

Question

QID:
Title:
Element pl-order-blocks: DAG grading for proofs

Variant

Started at:
2026-09-19 07:03:02 (CDT)
Duration:
0s
Show/Hide answer 
{
  "conjunction-implies-conjunction": [
    {
      "tag": "1",
      "uuid": "be262cad-5231-4ce3-beb9-1ff066bea4a2",
      "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": "a0bf240d-f5ee-4982-bec6-230dd602cc5e",
      "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": "a9a755fd-290d-4da6-9a7f-cb847a87c4ad",
      "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": "b54f9b57-0e20-4b4f-bdeb-5e6b5365e1cf",
      "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
    }
  ]
}
This box is not visible to students.
History
dec frac
rad deg