LogicWriter Actual is a web app (https://tinyurl.com/logicwriteractual) that helps early undergraduate CS students write with symbolic logic notation (⇔, ∃, ∧, Greek letters, etc.) . It designed with a quick start easy-to-use interface, and is compatible with most writing programs. {LA} is designed to minimize cognitive demands so students can focus on the math.
LogicWriter Actual has been used in our foundational CS logic class for the past three years. Preliminary results indicate that students typically learn to use it in five minutes or less and rate it favorably. Collaboration is sought for synergistic use with scaffolded software and other instructional efforts in proof writing and mathematical exposition.
Yunfei Hou California State University, San Bernardino, Miranda McIntyre California State University, San Bernardino, Jesus Herrera California State University, San Bernardino, Joyce Fu University of California, Riverside, Hani Aldirawi California State University, San Bernardino
