Dilsel bir ifadenin ne tür bir durumda doğru ya da yanlış olacağına ilişkin çıkarım yapabilmesi.

Yer aldıkları önermenin doğruluk değerinden bağımsız olarak varlıklarını sürdürmesi.

Bir A önermesinn mantıksal bir ilişki ile birbirine bağlanmış olması

Birbirine bağlanan tümcelerde ne dizilişin ne olduğundan bağımsız olarak ortaya çıkması.

Gerektirim ilişkisinin mantıksal olarak yanlışlarının iptal edilemez olması.