Herhangi bir önermenin olumsuzlanması yoluyla
o önermenin önvarsayımı olarak belirlenebilecek
önermelerin varlığını sürdürüp sürdürmediğini
anlayabiliriz. Ayrıca, bir önermenin soruya
dönüştürülmesi durumunda o önermenin önvarsayımı olan
önermelerin yine varlığını sürdürdüğünü görürüz. Aynı
önermeyi koşullu bir yapının içine yerleştirdiğimizde de o
önermenin önvarsayımı olan önermelerin varlığını
sürdürdüğünü görürüz. Yani, bu açıklama göre, sırasıyla
olumsuzlama, sorgulama ve koşullu yapı testlerinden
anlambilimcilerin önvarsayımın varlığını göstermek üzere
yararlandığı görülür.