CSCE 476/876, Spring 2016, Glossary 9

Assigned: Monday, March 28, 2016.
Due:   Monday, April 4, 2016.
Note: Glossaries are optional but help you improve your grade. Clearly acknowledge your sources (textbook, slides, etc.) or no credit will be given. You are not allowed to cut and paste from any source.
  1. And-elimination
  2. Assertion
  3. Arity (of a relation or a function)
  4. Atomic sentences
  5. Axiom
  6. Backward chaining
  7. Biconditional
  8. Horn clause:
  9. Complementary literals
  10. Compositionality
  11. Conjunctive normal form
  12. Data driven
  13. Deduction theorem
  14. Fixed point
  15. Forward chaining
  16. Goal-directed reasoning
  17. k-CNF
  18. Literal
  19. Logical connectives
  20. Logical equivalence
  21. Modus ponens
  22. Monotonicity (of inference)
  23. Predicate symbol
  24. Premise
  25. Propositional logic
  26. Proposition symbol
  27. Reduction ad absurdum
  28. Refutation completeness
  29. Resolution
  30. Resolution closure
  31. Satisfiability
  32. Tautology
  33. Term
  34. Theorem
  35. Truth table
  36. Unit clause
  37. Validity
Berthe Y. Choueiry
choueiry@cse.unl.edu