BIGpedia.com - Addition (logic) - Encyclopedia and Dictionary Online
encyclopedia search

Addition (logic)


Addition is a valid, simple argument form in logic:

A.
Therefore, A or B.

or in logical operator (sequent) notation:

A \vdash A \or B

The argument form has one premise. From this two premis it can be logically concluded that A or B, must be true as well.

Here is an example of an argument that fits the form addition:

Democracy is the best system of government.
Therefore Democracy is the best system of government or everyone should vote.


The contents of this article are licensed from Wikipedia.org under the GNU Free Documentation License.
How to see transparent copy

01-04-2007 01:21:04