Formal logic has a distinctive vocabulary. Also, a number of otherwise familiar terms have special meanings, and in the PLN system there are additional special usages not found elsewhere. Check the list below and make sure you undertstand each of the terms listed. Click on to go back to a section in which the use is explained more fully, then click the left-pointing indicator in your browser to return to this list.

• antecedent
  
• argument
  
• binder
  
• conditional
  
• conclusion
  
• conjunction
  
• consequent
  
• consistent
  
• contradiction
  
• count
  
• deductive
  
• disjunction
  
• disjunctive normal form
  
• equivalence
  
• existential quantifier
  
• implication
  
• inconsistent
  
• invalid
  
• mutual exclusion
  
• negation
  
• signal
  
• string
  
• tautology
  
• universal quantifier
  
• valid
  
• variable
  

Go back to the starting page.