Formal Logic 1.3

Card Set Information

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

Description:
Quantifiers, Predicates, and Validity
Show Answers:

Home > Flashcards > Print Preview

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


  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. \

What would you like to do?

Home > Flashcards > Print Preview