Formal Logic 1.3

Home > Preview

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


  1. Universal Quantifier
    A symbol that looks like an upside down A, read as "for all," "for every," "for each," or "for any."
  2. Existential Quantifier
    A symbol that looks like a backward E, read as "there exists one," "for at least one," or "for some."
  3. Predicate Well-formed Formulas (wffs)
    wffs containing predicates and quantifiers.
  4. Scope
    "Grouping symbols" such as parentheses and brackets that identify the section of the well-formed formula (wff) to which the quantifier applies.
  5. Free Variable
    A variable that occurs somewhere is a well-formed formula (wff) where it is not part of a quantifier and is not within the scope of a quantifier involving that variable.
  6. Valid
    Such as for a well-formed formula (wff) it it is True in all possible interpretations.
  7. \

Card Set Information

Author:
eaavendano
ID:
121747
Filename:
Formal Logic 1.3
Updated:
2011-12-08 04:03:10
Tags:
quantifiers predicates validity
Folders:

Description:
Quantifiers, Predicates, and Validity
Show Answers:

Home > Flashcards > Print Preview