蕊王. 离散数学中数理逻辑案例式教学研究. 教育与研究, v. 7, n. 11, 2 dez. 2025.