Euler diagrams as an introduction to set-theoretical models
Computers and Society
2015-07-19 v1 Logic in Computer Science
Abstract
Understanding the notion of a model is not always easy in logic courses. Hence, tools such as Euler diagrams are frequently applied as informal illustrations of set-theoretical models. We formally investigate Euler diagrams as an introduction to set-theoretical models. We show that the model-theoretic notions of validity and invalidity are characterized by Euler diagrams, and, in particular, that model construction can be described as a manipulation of Euler diagrams.
Cite
@article{arxiv.1507.03684,
title = {Euler diagrams as an introduction to set-theoretical models},
author = {Ryo Takemura},
journal= {arXiv preprint arXiv:1507.03684},
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