Enriched Diagrammatic Representation for Resolution

Computers can help in teaching logic; however, this ability is not particularly useful since it is reported that students lack understanding of deduction methods. Current logical methods are based on a conceptualization formed from a language for formulas that can be structured as in abstracted trees or sets, and from semantics in terms of truth values formulated as tables or drawn as marks on trees and sets. This paper proposes a unifying description methodology based on the notion of flow progressing through a system of six stages. Truth values and formulas are visualized as “things that flow”, i.e., things that can be created, received, processed, released and transferred. Accordingly, a conceptual map can be drafted for the propagation of these flow things during the process of truth-value evaluation or the chain of formula constructions. The new methodology presents a viable contribution for building a deeper understanding of proofs. This aid to understanding is demonstrated in examples adapted from the resolution method