Hasła do definicji:

w logice wniosek dodatkowy, uzupełniający inny wniosek