Set theory and tableaux for teaching propositional logic
Computers and Society
2015-07-15 v1 Logic in Computer Science
Abstract
In this work we suggest the use of a set-theoretical interpretation of semantic tableaux for teaching propositional logic. If the student has previous notions of basic set theory, this approach to semantical tableaux can clarify her the way semantic trees operate, linking the syntactical and semantical sides of the process. Also, it may be useful for the introduction of more advanced topics in logic, like modal logic.
Cite
@article{arxiv.1507.03667,
title = {Set theory and tableaux for teaching propositional logic},
author = {Nino Guallart and Angel Nepomuceno-Fernandez},
journal= {arXiv preprint arXiv:1507.03667},
year = {2015}
}
Comments
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, Jo\~ao Marcos, Mar\'ia Manzano, Sophie Pinchinat, Fran\c{c}ois Schwarzentruber