NotesFAQContact Us
Collection
Advanced
Search Tips
Publication Date
In 20260
Since 20250
Since 2022 (last 5 years)0
Since 2017 (last 10 years)0
Since 2007 (last 20 years)1
Descriptor
Algebra1
Computer Uses in Education1
Educational Technology1
Engineering Education1
Higher Education1
Mathematical Formulas1
Mathematical Logic1
Mathematics Education1
Problem Solving1
Programming1
Semantics1
Teaching Methods1
More ▼
Source
International Journal for…1
Author
Aguilera-Venegas, Gabriel1
Galán-García, José Luis1
Galán-García, María Ángeles1
Rodríguez-Cielos, Pedro1
Publication Type
Guides - Classroom - Teacher1
Journal Articles1
Reports - Descriptive1
Education Level
Higher Education1
Postsecondary Education1
Audience
Teachers1
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Showing one result Save | Export
Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS
Peer reviewed Peer reviewed
Direct linkDirect link
Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Rodríguez-Cielos, Pedro – International Journal for Technology in Mathematics Education, 2015
Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…
Descriptors: Mathematical Formulas, Problem Solving, Teaching Methods, Mathematical Logic