Відношення форсингу

Цей знак означає, що умова форсує формулу.

У теорії множин відношення форсингу ⊩ пов’язує умову з формулою. Умова — це частково визначений набір виборів; її розширення будує більшу модель. Запис p ⊩ φ означає, що кожне відповідне розширення, яке містить p, робить формулу φ істинною. Пол Коен запропонував цей метод у 1963 році, щоб дослідити, чи може гіпотеза континууму — твердження про розміри нескінченних множин — бути незалежною від звичних аксіом теорії множин, тобто не доводитися з них і не спростовуватися ними.

Подвійний турнікет має й інші формальні прочитання. У модальній семантиці w ⊩ φ може означати, що світ або стан w задовольняє φ. У теорії творців істини цей знак позначає відношення, за якого стан робить твердження істинним.