takie wnioskowanie z którego przesłanek wynika logicznie wniosek / gdy implikacja której poprzednik stanowi koniunkcja wszystkich przesłanek tego wnioskowania, a następnik stanowi wniosek tego wnioskowania, jest tautologią
takie wnioskowanie niededukcyjne, którego przesłanki wynikają logicznie z wniosku albo też którego pewne przesłanki wynikają logicznie z koniunkcji wniosku i innych jego przesłanek