Doğrusal açılım yöntemi ile nicelemeli sembolik önermelerin bir modeldeki doğruluk değerini nasıl belirleyeceğimizi biliyoruz: S = {a, b, c, ...} ve her s ∈S elemanı için A(s) ifadesi A ifadesinden v değişkeninin her geçtiği yere s elemanının konmasıyla elde edilen ifade ise, a. ∀ν A ifadesinin S kümesindeki bir doğrusal açılımı A(a) ∧A(b) ∧A(c) ∧… ifadesi, b. ∃ν A ifadesinin S kümesindeki bir doğrusal açılımı A(a) ∨A(b) ∨A(c) ∨… ifadesidir.