لا يُجبر

نقرأه «لا يُجبر».

مثلًا، تُقرأ w ⊮ P: «الحالة w لا تُجبر العبارة P». نموذج كريبكه وصف رياضي لحالات ممكنة والعلاقات بينها، وتحدد قواعده العبارات المتحققة في كل حالة. هنا لا تستوفي P تلك الشروط في w. الشَرطة المائلة تنفي العلاقة بين w وP؛ وليست جزءًا من P.

يهم هذا الفرق في المنطق الحدسي، حيث يمكن أن تمثل الحالات معلومات تتزايد. فقد لا تتحقق P في الحالة الحالية، ثم تتحقق في حالة لاحقة. أما إجبار «ليس P» فيشترط ألا تتحقق P في أي حالة لاحقة يمكن الوصول إليها، بما فيها الحالة الحالية. لذلك يختلف «لا يُجبر P» عن «يُجبر نفي P».