Tümdengelim verili öncüllerden sonuçların zorunlu olarak çıkmasına, sadece tutarlılığa dayanır. Yani ortaya yeni bir bilgi konmaz. Bunun olabilmesi için de, öncüllerin ortak bir terimi bulunması ve öncüllerin ortak terimle birbirlerine bağlanması gerekir. Sorularda bir öncül ve bir sonuç...