Perpetua: The UAH Journal of Undergraduate Research


College of Science


Computer Science


Formal logic is a fundamental topic of computer science. This paper introduces readers to the basic logic operators of predicate logic and how they can be applied to a diagram-based notation for logic called existential graphs. Inference rules for sound and complete existential graph transformation are presented with brief examples of their applica-tion. The authors introduce a new web-based Existen-tial Graph Editor Tool built to implement existential graphs. A brief tour of the tool’s graphical user inter-face and key features is provided. The efficacy of the formal logic tool is demonstrated by proving an ex-ample theorem.



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.