Pesquisa · Mapa mental
Dupla catraca
Na lógica, o símbolo ⊨, or é chamado de dupla catraca. Pode ser lido como "consequência lógica", "modelo de", "é consequência semântica de " ou no inglês "is stronger than". Uma de suas relações com o símbolo catraca (o qual possui uma barra única atravessada no meio) é o teorema da completude.
A dupla catraca é uma relação binária. O significado depende do contexto:
