Methodology for the Elaboration of Quizzes using Propositional Logic Calculus in an E-Learning Environment

This paper introduces the use of propositional logic calculus in the elaboration of educational quizzes to assess the level understanding of students in a specific theme of their courses. The technique introduced in this paper goes beyond multiple-choice quizzes. The technique requires several steps like a to give a phrase, b to re-order words of the given phrase in order to form a propositional logic formula, c to make use of background knowledge for performing substitutions, d to answer questions from one of the person in the team, e to change synonyms/antonyms if this is feasible, f to perform actions in order to give value to both or at least one operand of the logic formula and g to conclude the final answer of the logic formula true or false depending of the logic values of the operands in the logic formula. As a working example, the author shows a quiz for universal history, however, the same technique could be used to assess students in different courses.