Dog Breeds Information and More
  Komondor - Dog Breeds Facts and Information Dog Breeds Selector A to Z dog breeds Forums

 
Dog names
Dog training
Toy dogs
Intelligence
Dog health
Dog worship
Ticks

 
Golden Retriever
Labrador Retriever
Jack Russell
 
Find a Breed
 
Dog Breeds Encyclopedia
 

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