컴퓨터를 이용한 수리논리학 교육

Computer Aided Learning of Mathematical Logic

This paper discusses jLogic, a mathematical logic education software developed by the author. jLogic is basically a MS-Windows based software that can construct first-order models, formulas and test their satisfiablity. Logical formulas are easily input by a “keyboard” maintained by jLogic. A special finite model, called the “Toy World” can be visually constructed and modified. The user is supposed to answer the following 3 questions about the selected logical expression: 1. Is it a grammatically correct logical formula? 2. Is it a sentence that has a definite truth value? 3. Is th sentence true or false? When the user inputs his answer in the “Inspector window” and then presses the OK button, jLogic instantly tests the validity of the answer and tells the user the result. jLogic is freely downloaded from http://gauss.kyungpook.ac.kr/~jlogic/