Proof diagrams: a graphical tool for assisting set proofs

  • Authors:
  • Cong-Cong Xing

  • Affiliations:
  • Nicholls State University, Thibodaux, LA

  • Venue:
  • Journal of Computing Sciences in Colleges
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The traditional way of carrying out a set proof is to write it in English combined with set notations. This linearform description of logical reasoning can cause many difficulties in the process of learning set proofs for students with insufficient mathematics and English background. Furthermore, teaching these students to write set proofs in such a style can be a frustrating task. Toward solving this learning-teaching problem, a graphical approach for constructing set proofs is presented in this paper. We first identify some common learning difficulties of students when dealing with set proofs written in the tradition style. Then, we introduce the notion of proof diagrams and provide two examples to illustrate how a set proof can be constructed using proof diagrams. Finally, we compare our new graphical approach with the traditional one to summarize its contributions.