Construction of the Graphical Propositional Logic

Yi Wang, Han Ding

Abstract


Mathematical logic is the logical basis of the modern computer. It is important for the development of the electronic computer. With the development of computer technology, especially the development of computer visualization technology, the two-dimensional objects, such as graph and table, are more and more frequently as the computer processing object. But, the traditional one-dimensional character grammar already can not process. Then graph grammars that based on the two-dimensional arise at the historic moment. In order to provide the visual logic reasoning mathematical foundation, this paper introduces the basic theory of graph grammars. Through the propositional calculus and propositional logic reasoning two aspects of graphical description, we use graph grammars to construct propositional calculus and propositional reasoning.

 

DOI: http://dx.doi.org/10.11591/telkomnika.v11i8.3023 


Keywords


proposition logic; reasoning theory; graphical

Full Text:

PDF

Refbacks

  • There are currently no refbacks.


Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Indonesian Journal of Electrical Engineering and Computer Science (IJEECS)
p-ISSN: 2502-4752, e-ISSN: 2502-4760
This journal is published by the Institute of Advanced Engineering and Science (IAES) in collaboration with Intelektual Pustaka Media Utama (IPMU).

shopify stats IJEECS visitor statistics