Proofs of theorems from high school courses using propositional logic

DOI10.7858/EAMJ.2025.022MaRDI QIDQ7323924zbMATH OpenFDO

Authors Su Do Kang, Kwang Su Kim

Publication date 2 September 2026

Published in East Asian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7858/EAMJ.2025.022

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logic (educational aspects) (97E30)

This page was built for publication: Proofs of theorems from high school courses using propositional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7323924)