We are independent & ad-supported. We may earn a commission for purchases made through our links.
Advertiser Disclosure
Our website is an independent, advertising-supported platform. We provide our content free of charge to our readers, and to keep it that way, we rely on revenue generated through advertisements and affiliate partnerships. This means that when you click on certain links on our site and make a purchase, we may earn a commission. Learn more.
How We Make Money
We sustain our operations through affiliate commissions and advertising. If you click on an affiliate link and make a purchase, we may receive a commission from the merchant at no additional cost to you. We also display advertisements on our website, which help generate revenue to support our work and keep our content free for readers. Our editorial team operates independently of our advertising and affiliate partnerships to ensure that our content remains unbiased and focused on providing you with the best information and recommendations based on thorough research and honest evaluations. To remain transparent, we’ve provided a list of our current affiliate partners here.

What Is a Rule of Inference?

H. Bliss
Updated May 23, 2024
Our promise to you
Language & Humanities is dedicated to creating trustworthy, high-quality content that always prioritizes transparency, integrity, and inclusivity above all else. Our ensure that our content creation and review process includes rigorous fact-checking, evidence-based, and continual updates to ensure accuracy and reliability.

Our Promise to you

Founded in 2002, our company has been a trusted resource for readers seeking informative and engaging content. Our dedication to quality remains unwavering—and will never change. We follow a strict editorial policy, ensuring that our content is authored by highly qualified professionals and edited by subject matter experts. This guarantees that everything we publish is objective, accurate, and trustworthy.

Over the years, we've refined our approach to cover a wide range of topics, providing readers with reliable and practical advice to enhance their knowledge and skills. That's why millions of readers turn to us each year. Join us in celebrating the joy of learning, guided by standards you can trust.

Editorial Standards

At Language & Humanities, we are committed to creating content that you can trust. Our editorial process is designed to ensure that every piece of content we publish is accurate, reliable, and informative.

Our team of experienced writers and editors follows a strict set of guidelines to ensure the highest quality content. We conduct thorough research, fact-check all information, and rely on credible sources to back up our claims. Our content is reviewed by subject-matter experts to ensure accuracy and clarity.

We believe in transparency and maintain editorial independence from our advertisers. Our team does not receive direct compensation from advertisers, allowing us to create unbiased content that prioritizes your interests.

In logic and philosophy, the rules of inference refer to a series of rules used to define the parameters for truth in the context of a given situation. They are commonly used in many fields logic and mathematics, and define logical forms or argument forms. Each rule of inference is essentially a different formula for determining the truth of an argument in the given context. A rule of inference can also be called an inference rule.

Rules of inference occur in a great many fields of thought, including logic and mathematics fields like symbolic logic, classical logic and calculus. They are usually guidelines for processing information in that field. For most people, the most well-known set of rules of inference come from propositional logic.

These rules are used within a method of evaluation called natural deduction. Nine basic rules guide proofing of statements under natural deduction. These rules of inference are often expressed using symbols and variables representing the stated conditions. The first few rules of the group are the most widely used. Modus ponens is an if-then argument that states that since the existence of one thing, known as thing O, means that another thing, known as thing A, also exists, the existence of the original thing means that the latter thing logically exists.

The second rule of inference is Modus tollens, also known as denying the consequent. The conjunction introduction is an inference that states that if R is true and I is also true, then R and A are true. The simplification inference is essentially the opposite; it states that if A and R are true, then A is true and R is true. Other rules of inference in logic include the disjunction introduction and elimination, and disjunctive and hypothetical syllogism, as well as biconditional introduction and elimination, and the constructive and destructive dilemma.

When evaluating an argument using a rule of inference, the person evaluating the argument operates on the principle the argued premises are true. The rule of inference is one method of many used in processing the information in a series of statements to figure out whether the information can possibly be true. Learning this method of proofing an argument is helpful on tests that focus on proofing arguments, like the tests needed to enter many advanced degree programs, especially law schools. An alternate method for evaluating the validity of arguments is the truth table.

Language & Humanities is dedicated to providing accurate and trustworthy information. We carefully select reputable sources and employ a rigorous fact-checking process to maintain the highest standards. To learn more about our commitment to accuracy, read our editorial process.
H. Bliss
By H. Bliss
Heather Bliss, a passionate writer with a background in communication, brings her love for connecting with others to her work. With a relevant degree, she crafts compelling content that informs and inspires, showcasing her unique perspective and her commitment to making a difference.
Discussion Comments
H. Bliss
H. Bliss
Heather Bliss, a passionate writer with a background in communication, brings her love for connecting with others to her...
Learn more
Language & Humanities, in your inbox

Our latest articles, guides, and more, delivered daily.

Language & Humanities, in your inbox

Our latest articles, guides, and more, delivered daily.