W3 Flashcards

[hockeyj85]

• [ ] Arity: number of arguments to a predicate function
• [ ] Free variables: An unknown, not defind within the scope of the formula.
• [ ] Bound variables: A variable that is introduced with a quantifier. (forall, there exists)
• [ ] Sentences: formulae with no free variables.
• [ ] Update Precedence card
• [ ] Typing: Variables in predecate logic can be typed. using a colon : The usage and meaning are the same as the element of symbol.
• [ ] Logical Equivalences
  • [ ] DeMorgan
  • [ ] Universal Instantiation
  • [ ] Existential Instantiation
  • [ ] Universal Generalisation
  • [ ] Existential Generalistation
  • [ ] Commutivity
  • [ ] Associativity
  • [ ] Huntingont Axiom
  • [ ] Absorbtion
  • [ ] Distibutivity
  • [ ] Complements
  • [ ] Implication
  • [ ] Contrapositive
  • [ ] Double Negation
• [ ] Valid formula: evaluated to true no matter what inputs are passed in.
• [ ] Satisfiable: There exists some input resoves to true.