Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > List of rules of inference

A list of commonly used rules of inference.

Reductio ad absurdum

1 Known Conditional Transformation Rules

2 Known Biconditional Transformation Rules

Double negative elimination
Implication
Contraposition
Exportation
Distribution
De Morgan's Laws
Commutation
Association
TautologyIn logic, a tautology is a statement which is true by its own definition, and is therefore fundamentally uninformative. Logical tautologies use circular reasoning within an argument or statement. In linguistics, a tautology is a redundancy due to superflu
Equivalence

3 Hypothetical Transformation Rules

Conditional proofConditional proof is a proof that takes the form of asserting a conditional, and proving that the premise or antecedent of the conditional necessarily leads to the conclusion. Proving this requires assuming the premise and deriving, from that assumption,
Indirect proof

<Hide>

Topics: List Of Rules Of Inference, Known Conditional Transformation...

List of female movie actors (A-K)This is an alphabetical list of notable female movie actors . A certain number of actors of this list are also well-known because of their roles in television films and series, and are therefore included in both, this list and the list of television actor	List of anthropologistsSee Anthropology. Notable anthropologists include Ruth Benedict Wilhelm Bleek Franz Boas Pere Bosch-Gimpera Paul Pierre Broca Joseph Campbell Napoleon Chagnon Noam Chomsky Raymond Dart Eugene Dubois Mircea Eliade E. Evans-Pritchard Dian Fossey James Fraze	List of Governors of AlabamaThe following is a list of the territorial and state governors of Alabama. Governor of Alabama Territory William Wyatt Bibb, served 1817- 1819 Governors of the State Notes #William Wyatt Bibb was appointed as territorial governor; he was then elected firs
List of Artificial Intelligence projectsThis is a list of current and past artificial intelligence projects. Cyc Eurisko Mindpixel "The Planet's Largest Artificial Intelligence Effort" SHRDLU External links is an AI chatbot project based on A. has more than three hundred Open Source AI projects	Lists of peopleThese are lists of people mentioned in articles. The biographies don't include fictional characters, e. people like Arthur the Knight are included but King Arthur is not. People by name By name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z List of	List of people by name: A
List of people by name: Z	List of people by name: Y	List of people by name: W
List of people by name: V	List of people by name: U	List of people by name: B
List of people by name: C	List of people by name: D	List of people by name: E