.. _glossary:

.. include:: /_inc/note-doc-stub.rsti

********
Glossary
********

.. glossary::

  addition
    :s:`A` |=>| :s:`A V B`

  conditional contraction
    :s:`A $ (A $ B)` |=>| :s:`A $ B`

  conditional identity
    :s:`B` |=>| :s:`A $ A`

  DeMorgan laws
    . . .

  disjunctive syllogism
    :s:`A V B`, :s:`~B` !{|?-} :s:`A`

  exclusitivity constraint
    . . .
  
  exhaustion constraint
    . . .

  extension of
    A logic :m:`L'` is an extension of logic :m:`L` iff everything valid in
    :m:`L` is valid in :m:`L'`.

  law of excluded middle
    :s:`B` |=>| :s:`A V ~A`

  law of non-contradiction
    :s:`A & ~A` |=>| :s:`B`

  logical consequence
    . . .

  logical truth
    . . . 

  material identity
    :s:`B` |=>| :s:`A > A`

  modus ponens
    :s:`A $ B`, :s:`A` |=>| :s:`B`

  modus tollens
    :s:`A $ B`, :s:`~B` |=>| :s:`A`

  truth-functional operator
    . . .