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:
  • Proof by Cases:
  • Since $A \land C$ is true, we know $A$ is true.
  • Case $A \land C$:
  • Case $A \land B$:
  • Since $A \land B$ is true, we know $A$ is true.
  • This completes the proof.
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:
Construct mathematical proofs dragging and dropping blocks

Variant

Started at:
2026-09-19 10:07:04 (CDT)
Duration:
0s
Show/Hide answer 
{
  "proof-by-cases": [
    {
      "tag": "1",
      "uuid": "a9bead1b-3d1b-4ee4-93f6-025d2589f4e6",
      "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": "b9d01004-d4bd-4fc3-879c-ca78b1d8409c",
      "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": "c9323575-568d-4be1-bb3d-75f5615ef5f1",
      "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": "e0199ff7-aaa5-4dc6-b551-ca45a4b0c3ad",
      "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": "f0aa7d33-e265-47ea-b4e3-da0d6918fd2c",
      "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": "d4022248-167e-4c64-bccc-0c9c7e50c533",
      "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
    }
  ]
}
This box is not visible to students.
History
dec frac
rad deg