Showing posts with label Rule of inference. Show all posts
Showing posts with label Rule of inference. Show all posts

Thursday, November 12, 2015

Rule of replacement

Rule of replacement

  • Associative property (結合法則)
  • Commutative property (交換法則)
  • Distributive property (分配法則)
  • Double negation
  • De Morgan's law (ド・モルガンの法則)
  • Transposition (logic)
  • Material implication (rule of inference)
  • Exportation (logic)
  • Tautology (rule of inference)
  • Negation introduction