O que significa ⊦
Marca um juízo como afirmado. A fórmula seguinte é apresentada como verdadeira; o sinal, sozinho, não a prova.
O sinal de asserção de Frege apareceu pela primeira vez em Begriffsschrift, em 1879. O traço horizontal introduzia o conteúdo; o vertical marcava o ato de julgá-lo.
Notações lógicas posteriores distinguem prova de consequência semântica usando sinais de turnstile relacionados.
Notação especializada da lógica formal.
Confira as definições do sistema antes de trocá-lo por ou .
Não confunda com
2
Mais símbolos semelhantes
10
Como digitar ou encontrar ⊦
- Também chamado
- sinal de asserção · asserção de Frege
- Pesquise como
- significado de ⊦ · notação de turnstile · ⊦ versus ⊢ · LaTeX \assert
- Pode ser usado em
- Qualquer campo de texto · a forma depende da fonte
Windows (Word)
Windows
HTML
⊦CSS
\22A6Entrada Unicode
Digite U22A6 pelo método de entrada hexadecimal Unicode do sistema operacional, se estiver habilitado.
LaTeX (STIX Two)
Carregue
stix2 e use \assert no modo matemático.Códigos e codificaçãoPontos de código: 1
HTML decimal
⊦
HTML hexadecimal
⊦
Conteúdo CSS
content: "\22A6";
Cada escape termina na próxima barra invertida; adicione um espaço antes de um dígito hexadecimal literal.
Codificação URL
%E2%8A%A6
1
Na tela
1
Pontos de código
1
JS .length
3
Bytes UTF-8
Um símbolo visível pode conter vários pontos de código. JS .length conta unidades UTF-16; UTF-8 conta bytes.