Visual Tools for Teaching Propositional Logic.

Aránzazu San Ginés

Published in: TICTTL (2011)

Keyphrases

propositional logic
belief revision
first order logic
lattice theory
learning environment
quantified boolean formulae
possibilistic logic
davis putnam
e learning
proof procedure
propositional satisfiability
satisfiability testing
domain knowledge
knowledge representation
propositional formulas