Reference Topics 3-6

This site presents an interesting logic calculator:
http://www.inf.unibz.it/~franconi/teaching/propcalc/

These sites considers logic gates (with links to other logic topics):
http://www.jhu.edu/~virtlab/logic/log_cir.htm

This site, Basic Gates and Functions provides a nice discussion of logic circuits:
http://www.ee.surrey.ac.uk/Projects/Labview/gatesfunc/index.htmlSee the whole entry

Section 3.1: Deductive Reasoning

3.1 Outline

  1. Terminology
    1. argument
    2. hypotheses/premises
    3. deductive reasoning
    4. valid
    5. logic
    6. symbolic logic
    7. statement
    8. simple statement
    9. operators (connectives)
    10. compound statement
    11. fuzzy logic
    12. law of the excluded middle
    13. truth value of a simple statement
  2. Conjunction
    1. translation: and
    2. definition
  3. Disjunction
    1. translation: or
    2. definition
  4. Negation
See the whole entry