favorite28We have implemented the mechanics of this system with LiveCode in order to develop a cross-platform application to aid the teaching-learning process of basic logic.
favorite23We showed its logical foundations with a system we call L , which is a sound and complete system that uses adequate combinations of polygons as jigsaw puzzles in order to decide the (in)validity of categorical syllogisms.
favorite9The learning mode is a tutorial mode that helps users understand how to develop syllogisms in a jigsaw puzzle style assuming the ideas of L and thus showing the basic concepts of logic (propositions, truth values, form-content distinction, and so on).
favorite1In the arcade mode the user tries to develop valid syllogisms as quick as possible thinking in a jigsaw puzzle style.
favorite50L is a system that uses adequate combinations of polygons as jigsaw puzzles in order to decide the (in)validity of categorical syllogisms.