Discrete mathematics and its applications (2nd ed.)
Discrete mathematics and its applications (2nd ed.)
Discrete Structures, Logic, and Computability , Second Edition
Discrete Structures, Logic, and Computability , Second Edition
Discrete and Combinatorial Mathematics: An Applied Introduction
Discrete and Combinatorial Mathematics: An Applied Introduction
Discrete Mathematical Structures
Discrete Mathematical Structures
Hi-index | 0.00 |
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.