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

HW2.9. Construct mathematical proofs dragging and dropping blocks

Let $A, B,$ and $C$ be propositions. Prove that $(A \land C) \lor (A \land B) \rightarrow A $

Drag from here:

Construct your solution here:

Additional attempts available with new variants

Homework 2

Assessment overview

Total points:	0/24
Score:	0%

Question HW2.9

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

Previous question Next question

Personal Notes

No attached notes

Staff information

Student details

Dev User

dev@example.com

Question

QID:

demo/annotated/mathProof

Title:

Construct mathematical proofs dragging and dropping blocks

Variant

Started at:

2026-08-04 16:38:44 (CDT)

Duration:

Show/Hide answer

{
  "proof-by-cases": [
    {
      "tag": "1",
      "uuid": "d7a6e099-5906-439e-9367-df1559f68d81",
      "final": false,
      "index": 0,
      "indent": null,
      "depends": [],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": " Proof by Cases:",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "2",
      "uuid": "e1867afc-1894-4dda-9163-64afbeba85b7",
      "final": false,
      "index": 1,
      "indent": null,
      "depends": [],
      "ranking": -1,
      "group_info": {
        "tag": "g1",
        "depends": [
          "1"
        ]
      },
      "inner_html": " Case $A \\land C$: ",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "3",
      "uuid": "df6a9304-1583-43dc-8dd2-35328c376caf",
      "final": false,
      "index": 2,
      "indent": null,
      "depends": [
        "2"
      ],
      "ranking": -1,
      "group_info": {
        "tag": "g1",
        "depends": [
          "1"
        ]
      },
      "inner_html": " Since $A \\land C$ is true, we know $A$ is true.",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "4",
      "uuid": "e19ae11b-760f-44e0-9cbd-41d88b93d48d",
      "final": false,
      "index": 3,
      "indent": null,
      "depends": [],
      "ranking": -1,
      "group_info": {
        "tag": "g2",
        "depends": [
          "1"
        ]
      },
      "inner_html": " Case $A \\land B$: ",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "5",
      "uuid": "e04a942e-8ade-4ef5-89ae-93955cfb5c6d",
      "final": false,
      "index": 4,
      "indent": null,
      "depends": [
        "4"
      ],
      "ranking": -1,
      "group_info": {
        "tag": "g2",
        "depends": [
          "1"
        ]
      },
      "inner_html": " Since $A \\land B$ is true, we know $A$ is true.",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    },
    {
      "tag": "6",
      "uuid": "b4be002e-cc6c-4861-a892-da6e3b6d47b8",
      "final": false,
      "index": 5,
      "indent": null,
      "depends": [
        "g1",
        "g2"
      ],
      "ranking": -1,
      "group_info": {
        "tag": null,
        "depends": null
      },
      "inner_html": "This completes the proof.",
      "distractor_for": null,
      "initially_placed": false,
      "ordering_feedback": null,
      "distractor_feedback": null
    }
  ]
}

Assessment instance

Assessment:

homework/extraCredit