Qué significa ⊩
Indica que una condición fuerza una fórmula.
En teoría de conjuntos, la relación de forcing ⊩ vincula una condición con una fórmula. Una condición es un conjunto parcial de elecciones; al ampliarla se construye un modelo mayor. La expresión p ⊩ φ dice que toda extensión pertinente que contiene p hace verdadera φ. Paul Cohen propuso el método en 1963 para estudiar si la hipótesis del continuo —sobre los tamaños de los conjuntos infinitos— podía ser independiente de los axiomas habituales de la teoría de conjuntos; es decir, que esos axiomas no demostrasen ni la hipótesis ni su negación.
El turnstile de dos barras también tiene otros sentidos formales. En semántica modal, w ⊩ φ puede indicar que el mundo o estado w satisface φ. La teoría de los hacedores de verdad lo usa para una relación en la que un estado hace verdadera una afirmación.
Notación matemática especializada; su lectura depende del campo formal y de las definiciones empleadas.
No sustituyas ⊩ por o sin cambiar la relación formal.
Qué significa cuando alguien te lo envía
Interpretaciones: 3La condición p fuerza φ en toda extensión pertinente del modelo que la contiene.
No lo confundas con
2
Más símbolos similares
10
Cómo escribir o encontrar ⊩
- Búscalo como
- significado de ⊩ · relación de forcing ⊩ · ⊩ frente a ⊢ · vdash · símbolo turnstile · forcing en teoría de conjuntos · teoría de los hacedores de verdad
- Se puede usar en
- Cualquier campo de texto · su forma depende de la fuente
⊩\22A9\Vdash. En Word, escribe 22A9 y pulsa Alt+X; en Linux, usa la entrada Unicode: Ctrl+Shift+U, 22A9, Enter.Códigos y codificaciónPuntos de código: 1
Un símbolo visible puede contener varios puntos de código. JS .length cuenta unidades UTF-16; UTF-8 cuenta bytes.