Category:Rules of inference

From Wikipedia, the free encyclopedia

Pages in category "Rules of inference"

The following 29 pages are in this category, out of 29 total. Updates to this list can occasionally be delayed for a few days.

  • Rule of inference

*

  • List of rules of inference

A

  • Admissible rule

B

  • Biconditional elimination
  • Biconditional introduction

C

  • Case analysis
  • Conjunction introduction
  • Constructive dilemma
  • Contraposition (traditional logic)

C cont.

  • Conversion (logic)

D

  • De Morgan's laws
  • Destructive dilemma
  • Dictum de omni et nullo
  • Disjunction elimination
  • Disjunction introduction
  • Disjunctive syllogism
  • Double negative elimination

G

  • Generalization (logic)

H

  • Hypothetical syllogism

M

  • Modus ponendo tollens
  • Modus ponens
  • Modus tollens

O

  • Obversion

R

  • R2ML
  • Reductio ad absurdum
  • Resolution (logic)

S

  • Simplification

T

  • Transposition (logic)

U

  • Universal instantiation
Categories: Logic
Views
  • Category
  • Discussion
  • Current revision
Navigation
  • Main Page
  • Contents
  • Featured content
  • Current events
Interaction
  • About Wikipedia
  • Community portal
  • Recent changes
  • Contact Wikipedia
  • Donate to Wikipedia
  • Help
Languages
  • Esperanto
  • فارسی
  • 中文
Powered by MediaWiki
Wikimedia Foundation
  • This page was last modified 22:59, 1 May 2008 by Anonymous user(s) of Wikipedia. Based on work by Wikipedia user(s) Cydebot, Escarbot, Unint, Mhss en and Jiy.
  • All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
    Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
  • About Wikipedia
  • Disclaimers