# Formal Logic 1.2

The flashcards below were created by user eaavendano on FreezingBlue Flashcards.

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.
 Author: eaavendano ID: 121711 Card Set: Formal Logic 1.2 Updated: 2011-12-08 02:57:35 Tags: propositional logic Folders: Description: Propositional Logic Show Answers: