Acesso mais rápido do que o navegador!
58 relações: Anfeque, Aridade, Aritmética, Axioma, Álgebra booliana, Cálculo infinitesimal, Cálculo proposicional implicacional, Completude (lógica), Completude funcional, Conectivo lógico bicondicional, Conjunção lógica, Dedução natural, Dilema construtivo, Disjunção lógica, Dupla negação, Eliminação bicondicional, Eliminação da conjunção, Eliminação da disjunção, Equivalência lógica, Estrutura de interpretação (lógica), Fórmula atômica, FBF, Forma normal conjuntiva, Forma normal disjuntiva, Função de verdade, História da lógica, Implicação, Introdução da conjunção, Introdução da disjunção, Jan Łukasiewicz, Latim, Lógica aristotélica, Lógica de ordem superior, Lógica de primeira ordem, Lógica de segunda ordem, Lógica intuicionista, Lógica modal, Lógica multivalorada, Lei do terceiro excluído, Mereologia, Modus ponens, Negação, Operação (matemática), Ou exclusivo, Porta NOR, Princípio da resolução, Proposição, Quantificação, Recíproca, Reductio ad absurdum, ..., Sistema formal, Substituição (lógica), Tabela-verdade, Teorema, Teorema da dedução, Teoria dos conjuntos, Valor de verdade, Variável (matemática). Expandir índice (8 mais) »
Anfeque
Anfeque (do grego ἀμφηκή, 'lâmina-dupla'), é um termo criado por Charles Sanders Peirce para designar qualquer uma das duas operações muitas vezes referidas como Conectivo de Sheffer, Flecha de Peirce, ou NAND e NOR.
Novo!!: Lógica proposicional e Anfeque · Veja mais »
Aridade
Na matemática a aridade de uma função ou operação é o número de argumentos ou operandos tomados.
Novo!!: Lógica proposicional e Aridade · Veja mais »
Aritmética
Tabela de adição (Tabela de Dupla Entrada em português europeu) A aritmética (da palavra grega ἀριθμός, arithmós, "número") é o ramo mais elementar e antigo da matemática, lida com as operações possíveis entre os números; é utilizada por quase todo ser humano: seja em tarefas cotidianas, seja em tarefas científicas ou negociais.
Novo!!: Lógica proposicional e Aritmética · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Lógica proposicional e Axioma · Veja mais »
Álgebra booliana
Em álgebra abstrata, álgebras boolianas (ou álgebras de Boole) são estruturas algébricas que "captam as propriedades essenciais" dos operadores lógicos e de conjuntos, ou ainda oferecem uma estrutura para se lidar com "afirmações",Edward R. Scheinerman.
Novo!!: Lógica proposicional e Álgebra booliana · Veja mais »
Cálculo infinitesimal
O cálculo infinitesimal, também conhecido como cálculo diferencial e integral ou simplesmente cálculo, é um ramo importante da matemática, desenvolvido a partir da Álgebra e da Geometria, que se dedica ao estudo de taxas de variação de grandezas (como a inclinação de uma reta) e a acumulação de quantidades (como a área debaixo de uma curva ou o volume de um sólido).
Novo!!: Lógica proposicional e Cálculo infinitesimal · Veja mais »
Cálculo proposicional implicacional
Na lógica matemática, o cálculo proposicional implicacional é um fragmento do cálculo proposicional clássico (bivalente) que usa somente um conectivo, chamado de implicação ou condicional.
Novo!!: Lógica proposicional e Cálculo proposicional implicacional · Veja mais »
Completude (lógica)
Em lógica matemática e na metalógica, um sistema formal é chamado completo com respeito a uma propriedade específica se toda fórmula tendo a propriedade pode ser obtida usando esse sistema, isto é, é um de seus teoremas; caso contrário, o sistema é dito incompleto.
Novo!!: Lógica proposicional e Completude (lógica) · Veja mais »
Completude funcional
Em lógica, um grupo de conectivos ou operadores Booleanos.
Novo!!: Lógica proposicional e Completude funcional · Veja mais »
Conectivo lógico bicondicional
Na Lógica e Matemática, a Lógica bicondicional (também conhecida como bicondicional material) é o Conectivo lógico de duas proposições afirmando "p se e somente se q", onde q é uma Hipótese (ou antecedente) e p é um conclusão (ou consequente).
Novo!!: Lógica proposicional e Conectivo lógico bicondicional · Veja mais »
Conjunção lógica
A conjunção é uma operação na lógica matemática, que pode ser ligada à operação de interseção de conjuntos.
Novo!!: Lógica proposicional e Conjunção lógica · Veja mais »
Dedução natural
Dedução natural é um dos sistemas dedutivos utilizados para construir demonstrações formais na Lógica.
Novo!!: Lógica proposicional e Dedução natural · Veja mais »
Dilema construtivo
Dilema construtivo é uma regra de inferência válida da lógica proposicional.
Novo!!: Lógica proposicional e Dilema construtivo · Veja mais »
Disjunção lógica
Disjunção, operador ou (OR), é uma operação lógica utilizada em lógicas digitais e lógicas matemáticas.
Novo!!: Lógica proposicional e Disjunção lógica · Veja mais »
Dupla negação
Na lógica proposicional, a dupla negação é o teorema que afirma que "Se uma declaração é verdadeira, então não é o caso que a declaração não é verdadeira".
Novo!!: Lógica proposicional e Dupla negação · Veja mais »
Eliminação bicondicional
Eliminação bicondicional são duas regras de inferência validas da lógica proposicional.
Novo!!: Lógica proposicional e Eliminação bicondicional · Veja mais »
Eliminação da conjunção
Na lógica matemática, a eliminação da conjunção ou simplificação é uma regra de inferência que estabelece que, se a conjunção de A e B é verdadeira, então A é verdadeiro e B é verdadeiro.
Novo!!: Lógica proposicional e Eliminação da conjunção · Veja mais »
Eliminação da disjunção
Na lógica proposicional, eliminação da disjunção (as vezes chamado prova por casos ou análise de casos), é a forma de argumento válido e regra de inferência que permite a eliminação de um argumento disjunctivo de uma prova lógica.
Novo!!: Lógica proposicional e Eliminação da disjunção · Veja mais »
Equivalência lógica
Na lógica, afirmações p e q são logicamente equivalentes se tiverem o mesmo conteúdo lógico.
Novo!!: Lógica proposicional e Equivalência lógica · Veja mais »
Estrutura de interpretação (lógica)
Na lógica, uma estrutura (ou estrutura de interpretação) é um objeto que dá significado semântico ou interpretação aos símbolos definidos pela assinatura de uma linguagem.
Novo!!: Lógica proposicional e Estrutura de interpretação (lógica) · Veja mais »
Fórmula atômica
Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas.
Novo!!: Lógica proposicional e Fórmula atômica · Veja mais »
FBF
* Federação Bahiana de Futebol — federação esportiva brasileira.
Novo!!: Lógica proposicional e FBF · Veja mais »
Forma normal conjuntiva
Na lógica booleana, uma fórmula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas, onde uma cláusula é uma disjunção de literais.
Novo!!: Lógica proposicional e Forma normal conjuntiva · Veja mais »
Forma normal disjuntiva
Na lógica booleana, uma forma normal disjuntiva (FND) é uma normalização de uma fórmula lógica a qual é uma disjunção de cláusulas conjuntivas.
Novo!!: Lógica proposicional e Forma normal disjuntiva · Veja mais »
Função de verdade
Uma função de verdade, também chamada de função veritativa, é uma função que retorna valores de verdade a listas de valores de verdade.
Novo!!: Lógica proposicional e Função de verdade · Veja mais »
História da lógica
A história da lógica documenta o desenvolvimento da lógica em várias culturas e tradições.
Novo!!: Lógica proposicional e História da lógica · Veja mais »
Implicação
Na lógica e na matemática, a implicação, ou condicional é a indicação do tipo "SE...ENTÃO", indicando que uma condição deve ser satisfeita necessariamente para que a outra seja verdadeira.
Novo!!: Lógica proposicional e Implicação · Veja mais »
Introdução da conjunção
A introdução da conjunção é uma regra de inferência que estabelece que, se dois argumentos A e B são verdadeiros, então a conjunção dos mesmos também é verdadeira.
Novo!!: Lógica proposicional e Introdução da conjunção · Veja mais »
Introdução da disjunção
Na lógica matemática, a introdução da disjunção é uma regra de inferência que estabelece que, se um argumento é verdadeiro, então a disjunção deste argumento com qualquer outro também é verdadeiro.
Novo!!: Lógica proposicional e Introdução da disjunção · Veja mais »
Jan Łukasiewicz
Jan Łukasiewicz (21 de dezembro de 1878 — 13 de fevereiro de 1956) foi um lógico polonês.
Novo!!: Lógica proposicional e Jan Łukasiewicz · Veja mais »
Latim
A língua latina ou latim é uma antiga língua indo-europeia do ramo itálico, originalmente falada no Lácio, a região em volta da cidade de Roma.
Novo!!: Lógica proposicional e Latim · Veja mais »
Lógica aristotélica
A lógica aristotélica é o estudo formal da lógica desenvolvido pelo filósofo grego Aristóteles, na Antiguidade.
Novo!!: Lógica proposicional e Lógica aristotélica · Veja mais »
Lógica de ordem superior
Na matemática e na lógica, uma lógica de ordem superior é uma forma de lógica de predicados que se distingue da lógica de primeira ordem por permitir a presença de quantificadores sobre predicados, e por possuir uma semântica mais forte.
Novo!!: Lógica proposicional e Lógica de ordem superior · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Lógica proposicional e Lógica de primeira ordem · Veja mais »
Lógica de segunda ordem
Na lógica matemática, a lógica de segunda ordem é uma extensão da lógica de primeira ordem, onde a própria lógica de primeira ordem é uma extensão de lógica proposicional.
Novo!!: Lógica proposicional e Lógica de segunda ordem · Veja mais »
Lógica intuicionista
Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o intuicionismo de Brouwer.
Novo!!: Lógica proposicional e Lógica intuicionista · Veja mais »
Lógica modal
A lógica modal se refere a qualquer sistema de lógica formal que procure lidar com modalidades (tratar de modos quanto a tempo, possibilidade, probabilidade, etc.). Tradicionalmente, as modalidades mais comuns são possibilidade e necessidade.
Novo!!: Lógica proposicional e Lógica modal · Veja mais »
Lógica multivalorada
Em lógica, a lógica multivalorada (ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade.
Novo!!: Lógica proposicional e Lógica multivalorada · Veja mais »
Lei do terceiro excluído
Em lógica, a lei do terceiro excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento.
Novo!!: Lógica proposicional e Lei do terceiro excluído · Veja mais »
Mereologia
Mereologia (da raiz Grega μέρος - compartilhar ou partes; sufixo -logia - discurso, estudo, saber) é uma área da lógica e da filosofia que estuda as relações de participação, de partes com um todo, da relação das partes dentro de um todo.
Novo!!: Lógica proposicional e Mereologia · Veja mais »
Modus ponens
Na lógica proposicional, modus ponendo ponens (em latim significa "a maneira que afirma afirmando", muitas vezes abreviado para MP ou modus ponens) ou a eliminação da implicação é uma válida e simples forma de argumento e regra de inferência.
Novo!!: Lógica proposicional e Modus ponens · Veja mais »
Negação
Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição.
Novo!!: Lógica proposicional e Negação · Veja mais »
Operação (matemática)
Em matemática, uma operação é qualquer tipo de procedimento que é realizado sobre certa quantidade de elementos, e que obedece sempre a uma mesma lógica (regra).
Novo!!: Lógica proposicional e Operação (matemática) · Veja mais »
Ou exclusivo
Ou exclusivo ou disjunção exclusiva é uma operação lógica entre dois operandos que resulta em um valor lógico verdadeiro se e somente se os dois operandos forem diferentes, ou seja, se um for verdadeiro e o outro for falso.
Novo!!: Lógica proposicional e Ou exclusivo · Veja mais »
Porta NOR
O NOR é um operador booleano lógico que é resultado da negação do operador OR.
Novo!!: Lógica proposicional e Porta NOR · Veja mais »
Princípio da resolução
O princípio da resolução é uma regra de inferência que dá origem a uma técnica de demonstração por refutação para sentenças e inferências da lógica proposicional e da lógica de primeira ordem.
Novo!!: Lógica proposicional e Princípio da resolução · Veja mais »
Proposição
Proposição é um termo usado em lógica para descrever o conteúdo de asserções.
Novo!!: Lógica proposicional e Proposição · Veja mais »
Quantificação
O termo Quantificação tem vários significados, gerais e específicos.
Novo!!: Lógica proposicional e Quantificação · Veja mais »
Recíproca
A recíproca é uma relação de implicação.
Novo!!: Lógica proposicional e Recíproca · Veja mais »
Reductio ad absurdum
Reductio ad absurdum (latim para "redução ao absurdo"), é um tipo de argumento lógico no qual alguém assume uma ou mais hipóteses e, a partir destas, deriva uma consequência absurda ou ridícula, e então conclui que a suposição original deve estar errada.
Novo!!: Lógica proposicional e Reductio ad absurdum · Veja mais »
Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.
Novo!!: Lógica proposicional e Sistema formal · Veja mais »
Substituição (lógica)
Substituição é um conceito fundamental em lógica.
Novo!!: Lógica proposicional e Substituição (lógica) · Veja mais »
Tabela-verdade
Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em lógica para determinar se uma fórmula é válida ou se um sequente é correto.
Novo!!: Lógica proposicional e Tabela-verdade · Veja mais »
Teorema
Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas.
Novo!!: Lógica proposicional e Teorema · Veja mais »
Teorema da dedução
Na lógica matemática, o teorema da dedução é um metateorema da lógica de primeira ordem.
Novo!!: Lógica proposicional e Teorema da dedução · Veja mais »
Teoria dos conjuntos
conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.
Novo!!: Lógica proposicional e Teoria dos conjuntos · Veja mais »
Valor de verdade
Na lógica e na matemática, um valor de verdade, também chamado de valor veritativo ou valor verdade, é um valor que indica o grau de verdade de uma proposição, dependendo da interpretação.
Novo!!: Lógica proposicional e Valor de verdade · Veja mais »
Variável (matemática)
Em matemática elementar, uma variável é um símbolo (geralmente uma única letra) que representa um número arbitrário, não totalmente especificado ou desconhecido.
Novo!!: Lógica proposicional e Variável (matemática) · Veja mais »
Redireciona aqui:
Cálculo Proposicional, Cálculo proposicional, Lógica Proposicional, Lógica de ordem zero, Lógica sentencial.
