Tümceler kendi başlarına doğruluk koşulu ve doğruluk değeri taşıdıkları gibi bir tümce aynı zamanda başka bir tümcenin doğruluk koşulu ve değeri hakkında da bilgi verebilir. Bu türden tümcelerarası anlamsal ilişkiler de bileşimsel anlambilimin mantığa dayanan formal yöntemleriyle modellenebilir. Gerektirim, bir tümcenin anlamına baktığımızda diğerinin doğruluk koşulu ve değeri hakkında da bilgi sahibi olmamızı sağlayan mantıksal bir ilişkilendirmedir.