生成と解決をリンクさせることによる自然演繹の作問支援

抄録

We developed a learning environment to support participants' problem posing in a formal logic system, natural deduction, by combining problem-posing and problem-solving activities. In the problem posing-phase, the participants posed original problems and presented them on a shared problem database called ``Forum,'' which was accessible to other group members. During the problem-solving phase, the participants solved the problems presented on Forum. This first round of problem posing and solving was followed by a second round of problem posing. We performed two practices: one for undergraduates in a liberal arts college and the other for graduates in a graduate school of information science. The results showed that the participants successfully posed more advanced problems in the second round of problem posing as compared to the first. The empirical data gathered from the two practices indicated a significant relationship between problem-solving and problem-posing abilities.