Tvinger ikke

Tegnet leses «tvinger ikke».

For eksempel leses w ⊮ P som «tilstanden w tvinger ikke utsagnet P». En Kripke-modell beskriver mulige tilstander og forholdene mellom dem matematisk. Reglene angir hvilke utsagn som gjelder i hver tilstand. Her oppfyller ikke P disse betingelsene i w. Skråstreken negerer forholdet mellom w og P; den er ikke en del av P.

Skillet er viktig i intuisjonistisk logikk, der tilstander kan representere økende informasjon. P kan være uavklart i den nåværende tilstanden og bli fastslått i en senere. Å tvinge «ikke P» krever at P ikke gjelder i noen tilgjengelig senere tilstand, heller ikke i den nåværende. «Tvinger ikke P» og «tvinger negasjonen av P» er derfor ulike påstander.