Bir tümcenin savladığı önerme dışında kalan ama yine o tümcenin üzerine inşa edildiği diğer önermelere önvarsayım adını veriyoruz.  Önvarsayımlar, içinde yer aldıkları önermenin doğruluk değerinden, yani doğru olup olmamasından bağımsız olarak varlıklarını sürdürürler. Seçeneklerde önvarsayım içeren tümce A olup, farklı biçimlerde test edilebilir. Örneğin, olumsuzlama yapıp ‘Aslı’ın erkek kardeşi üç at satın almadı’ desek bile Aslı’nın bir erkek kardeşi olduğu sabittir. B seçeneğine göre hayvansever olup olmadığı bilinemez. C’ye göre üç at alması, iki ata bakmasını kapsar, ancak bekli de önceden alınmış başka atları olabilir. D’de ise, üç at alması onun zengin olduğunu göstermediği gibi, başkasının parasıyla almış olabilir. E’deki sorun ise Aslı’nın birden fazla erkek veya kız kardeşleri olabileceğidir. Doğru yanıt A’dır.