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

Maria Vargas-Vera

Published in: Int. J. Knowl. Soc. Res. (2016)

Keyphrases

propositional logic
e learning
proof procedure
first order logic
belief revision
learning materials
possibilistic logic
quantified boolean formulae
lattice theory
davis putnam
satisfiability testing
learning objects
inference rules
propositional satisfiability
expressive power
minimal models
np complete