dasasap：一款三段论学习应用
计算机与社会
2015-07-20 v2 计算机科学中的逻辑
摘要
本贡献的主要目标是介绍一款用于学习-教授三段论的跨平台应用程序。我们将此应用称为 dasasap，即“develop all syllogisms as soon as possible”的缩写。为了介绍这款应用，我们展示了该游戏的逻辑基础，即我们称之为 的系统，以及使用 LiveCode 开发的界面。
引用
@article{arxiv.1507.03664,
title = {{dasasap}, an App for Syllogisms},
author = {José Martín Castro-Manzano and Verónica Reyes-Meza and Jorge Medina-Delgadillo},
journal= {arXiv preprint arXiv:1507.03664},
year = {2015}
}
备注
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