Set theory and tableaux for teaching propositional logic.
Nino GuallartÁngel Nepomuceno-FernándezPublished in: CoRR (2015)
Keyphrases
- propositional logic
- set theory
- first order logic
- proof procedure
- theorem proving
- inference rules
- quantified boolean formulae
- decision procedures
- partial order
- theorem prover
- knowledge representation
- lattice theory
- belief revision
- automated reasoning
- propositional satisfiability
- belief change
- fuzzy set theory
- functional dependencies
- fuzzy sets
- computational intelligence
- image processing
- artificial intelligence