Educational game for propositional logic. Created during a Research Experience for Undergraduates at North Carolina State University. Includes two activities to help students learn about propositional logic.
This activity shows students a partially filled in logical rule and requires them to fill in the missing piece (one of the premises or the conclusion).
Dragging the missing rule into the box:
Using the on-screen virtual keyboard to type out the missing conclusion:
This activity shows students a partially completed proof and requires them to fill in missing premises, conclusions, and rules for each partially complete line in the proof.
