Додавання

Матеріал з Вікіпедії — вільної енциклопедії.

Додавання (логіка) це коректна, проста форма аргументації в логіці:

A.
Отже, A або B.

або у логіко-операторній нотації (слідує):

A \vdash A \or B


Арґумент має одне вихідне припущення A. Із істинності A слідує що A або B є істиною.

Приклад арґументу у формі додавання:

Демократія є найкращою формою управління.
Отже, Демократія є найкращою формою управління або кожен повинен голосувати.

.