Unravelling the Hidden Truth within Logical Statements: A Computer Tool
説明
In this paper a new Mathematica package for creating truth tables for logical reasoning and deduction is introduced. By using several simple examples, the paper shows the different options the user can choose to modify the visual appearance of the tables as well as other additional features - such as row and column numbering - for better understanding. The package is illustrated through its application to three simple yet meaningful examples covering different real-life-like problems. All the examples show the good performance of the package as well as its applicability to many other logical problems, even in our daily life.
収録刊行物
-
- 2013 13th International Conference on Computational Science and Its Applications
-
2013 13th International Conference on Computational Science and Its Applications 53-61, 2013-06-01
IEEE
