8 relações: Ambiguidade, Catraca (símbolo), Consistência, Dupla catraca, Lógica livre, Lógica paraconsistente, Lista de símbolos matemáticos, Princípio da não-contradição.
Ambiguidade
Ambiguidade é o tipo de significado em que uma expressão, declaração ou resolução não está explicitamente definida, tornando plausíveis várias interpretações.
Novo!!: Lista de símbolos lógicos e Ambiguidade · Veja mais »
Catraca (símbolo)
Na lógica matemática e ciência da computação, o símbolo \vdash recebe o nome de catraca, pela sua semelhança a uma catraca observada de cima.
Novo!!: Lista de símbolos lógicos e Catraca (símbolo) · Veja mais »
Consistência
Na lógica clássica dedutiva, uma teoria é chamada de consistente se não contém contradição.
Novo!!: Lista de símbolos lógicos e Consistência · Veja mais »
Dupla catraca
Na lógica, o símbolo ⊨, \vDash or \models é chamado de dupla catraca.
Novo!!: Lista de símbolos lógicos e Dupla catraca · Veja mais »
Lógica livre
Uma lógica livre é uma lógica com menos pressuposições existenciais do que a lógica clássica.
Novo!!: Lista de símbolos lógicos e Lógica livre · Veja mais »
Lógica paraconsistente
Em lógica, entende-se por lógica paraconsistente um sistema formal no qual se podem verificar, de modo controlado, exceções ao princípio da não contradição, isto é, no qual podem se apresentar contradições sem que, com isso, seja possível derivar uma proposição qualquer, dentro do sistema, evitando-se assim o princípio de explosão (em latim, ex falso quodlibet, 'da falsidade, qualquer coisa'; ou ex contradictione quodlibet, 'da contradição, qualquer coisa ').
Novo!!: Lista de símbolos lógicos e Lógica paraconsistente · Veja mais »
Lista de símbolos matemáticos
Sem descrição
Novo!!: Lista de símbolos lógicos e Lista de símbolos matemáticos · Veja mais »
Princípio da não-contradição
Na Lógica clássica, o princípio da não-contradição (ou o princípio da contradição, ou a lei da não-contradição, ou a lei da contradição), afirma que duas afirmações contraditórias não podem ser verdadeiras ao mesmo tempo, exemplo: As duas proposições "A é B" e "A não é B" são mutuamente exclusivas, dito de outra forma: "nada pode ser e não ser simultaneamente" O princípio da não-contradição foi (primeiramente) formulado por Aristóteles e diz-nos que uma proposição verdadeira não pode ser falsa e uma proposição falsa não pode ser verdadeira.
Novo!!: Lista de símbolos lógicos e Princípio da não-contradição · Veja mais »