# Logic: CLUSTERS

* Introduction
  * natural language, declarative sentences, statements
  * converting declarations from natural to symbolic language
  * truth value, truth assignment, valuation function
  * formal language
  * symbolic logic
* The form of argument
  * argument
  * proposition, logical sentence, logical statement
  * axiom
  * assumption
  * theorem
  * lemma
  * pool of assumption
  * premise, precondition, hypothesis
  * conclusion
  * antecedent -> consequent
  * logical consequence
  * rules of inference
* Connectives
  * implication
  * material conditionals
* General elements
  * logical term
  * logical expression
  * logical connective
  * logical formula
  * logical constant, logical literal
  * logical operation
  * logical property
  * logical predicate
  * logical function, relation
  * logical variable
  * logical connective
  * atomic formula
  * compounded formula
* Properties of arguments
  * validity
  * soundness
  * compactness theorem
  * completeness
  * incompleteness
* Normal Forms
  * Canonical forms
  * Conjunctive Normal Form (CNF)
  * Disjunctive Normal Form (DNF)
  * Negation Normal Form (NNF)
  * implicative normal form
  * Literals
  * Clauses
  * Terms

A Survey on Theorem Provers in Formal Methods