Formal Logic 1.2

Card Set Information

Author:
eaavendano
ID:
121711
Filename:
Formal Logic 1.2
Updated:
2011-12-07 21:57:35
Tags:
propositional logic
Folders:

Description:
Propositional Logic
Show Answers:

Home > Flashcards > Print Preview

The flashcards below were created by user eaavendano on FreezingBlue Flashcards. What would you like to do?


  1. Propositional Well-formed Formulas (wffs)
    Statements are sometimes called propositions.
  2. Hypothesis
    In an argument the statement or statements that preceed the conclusion.
  3. Conclusion
    In an argument what follows the hypothesis.
  4. Valid Argument
    • An argument that should be True based entirely on its internal structure or "intrinsicaly True."
    • An argument whose conclusion should be related to or follow from the hypothesis.
  5. Derivation Rules
    • Rules that manipulate well-formed formulas (wffs) in a truth-preserving manner.
    • Begin with the hypothesis (assumed True) and attempt to apply the manipulation rules in such a way as to end up with the conclusion (which must then also be True because truth is preserved under the rules).
  6. Proof Sequence
    A sequence of well-formed formulas (wffs) in which each wff is either a hypothesis or the result of applying one of the formal system's derivation rules to earlier wffs in the sequence.
  7. Equivalence Rules
    Rules that state that certain pairs of well-formed formulas (wffs) A and B are equivalent.
  8. Inference Rules
    Rules that say that if 1 or more well-formed formulas (wffs) that match the 1st part of the rule pattern are already part of the proof sequence, we can add to the proof sequence a new wff that matches the last part of the rule pattern.

What would you like to do?

Home > Flashcards > Print Preview