> For the complete documentation index, see [llms.txt](https://mandober.gitbook.io/math-debrief/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://mandober.gitbook.io/math-debrief/300-logic/lo.clusters.md).

# 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