VARGI a. Fels. Kavramların mantıksal sıralanış ya da art arda gelişi.
—Mant. Bir çıkarım kuralından sonuç olarak çıkan bir formülün özelliği. || Kapalı formüllerin bir
T kümesinin anlambilim vargısı,
her T modelinde geçerli kapalı A formülü.
Kaynak: Büyük Larousse