Alternatif tasımın öncüllerinden biri tekil evetleme önermesidir. Yani bileşenlerden sadece ve sadece biri doğrudur. Bu nedenle, bir alternatif tasımda ikinci öncül tekil evetleme önermesinin bileşenlerinden birini evetlediğinde diğer(ler)i değillenmiş olur; birini değillediğinde diğer(ler)i evetlenmiş olur ve diğer bileşen(ler)in değillemesi veya evetlenmesi sonuç olarak çıkarılır.