Bir ya da birden çok sayıda öncülü (önceden bilindiği varsayılarak) kaldırılmış olan tasımsal çıkarım.