Students struggle with constructing axiomatic proofs substantially more than with semantic tableaux in the same logic course¶
Claim · All claims
Evidence · 1 study · designr2·q2
Currency · newest study 2021 · not yet checked against its sources · not reviewed by a person
Subclaims¶
Reading the evidence codes
q is the design tier, i the impact, n the sample, and the kind with its r
the rigour judged within that kind: what each code means.
This claim: no standardized effect is recorded in observations/ for it yet, so no benchmark reading is possible.
q2 i? In a logic course homework analysis of 65 students, 22 had to redo the axiomatic-proof exercise versus 5 who had to redo the semantic tableaux exercise. → Josje Lodder 2021
Evidence¶
Josje Lodder 2021¶
Josje Lodder, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis. (2021). Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. International Journal of Artificial Intelligence in Education 31:99-133. https://doi.org/10.1007/s40593-020-00222-2
q2 · i? · design · r2
Observational analysis of homework from 65 students in the course Logic and Computer Science across academic years 2014-2015 and 2015-2016. The authors report that "22 had to redo their homework exercise on axiomatic proofs" versus 5 out of 65 for semantic tableaux; no effect size is printed.
"From these students, 22 had to redo their homework exercise on axiomatic proofs. This is significantly higher than, for example, the number of students in the same group who had to redo the exercise on semantic tableaux: 5 out of 65."
Discussion¶
Related Claims¶
- Student mistakes in axiomatic proofs fall into three categories and can largely be covered by buggy rules — related
- Dynamically generated proof graphs let LOGAX recognize all correct student solutions and give hints on them — related
- Hints generated by LOGAX help students complete the exercises — related
- Students at all levels have serious difficulties constructing proofs, with instruction explicitly teaching expert heuristics substantially increasing proof-writing ability — a broader claim this one bears on
Page metadata
| Field | Value |
|---|---|
type |
claim |
id |
axiomatic-proofs-harder-than-semantic-tableaux-homework |
title |
Students struggle with constructing axiomatic proofs substantially more than with semantic tableaux in the same logic course |
description |
Students struggle with constructing axiomatic proofs substantially more than with semantic tableaux in the same logic course |
status |
review |
evidence_strength |
moderate |
newest_evidence |
2021 |
generated |
by process:wiki-ingest on 2026-10-27 |
trust |
unverified — no one has confirmed this page's content |
sources |
1 — josje-lodder-2021 |
Frontmatter is the page's machine-readable record — see the Schema & Guide.