The Full Wiki

Conjunction elimination: Wikis


Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.


(Redirected to Simplification article)

From Wikipedia, the free encyclopedia

In mathematical logic, simplification (equivalent to conjunction elimination) is a valid argument and rule of inference which makes the inference that, if the conjunction A and B is true, then A is true, and B is true.

In formal language:

 A \and B \vdash A


 A \and B \vdash B

The argument has one premise, namely a conjunction, and one often uses simplification in longer arguments to derive one of the conjuncts.

An example in English:

It's raining and it's pouring.
Therefore it's raining.


Got something to say? Make a comment.
Your name
Your email address