Acesso mais rápido do que o navegador!
40 relações: Associatividade, Axioma, Begriffsschrift, Bertrand Russell, Completude funcional, Comutatividade, Condicional material, Conectivo lógico bicondicional, Conjunção, Constantes lógicas, Contradição, Disjunção lógica, Distributividade, Falso (lógica), Função afim, Função de verdade, Função monótona, George Boole, Giuseppe Peano, Gottlob Frege, Idempotência, Língua natural, Lógica, Lógica de predicados, Lógica proposicional, Linguagem formal, Moses Schönfinkel, Negação, Operando, Ou exclusivo, Palavra, Porta NAND, Porta NOR, Símbolo (formal), Se e somente se, Sentença, Sistema formal, Tautologia, Teoria dos conjuntos, Verdade.
Associatividade
Associatividade, em propriedade binária permite que expressões do tipo r s t possam ser escritas sem ambiguidade, ou seja, uma expressão r s t dá o mesmo resultado caso a operação que seja, em primeiro lugar, computada seja r s ou s t.G. A. Miller, What is Group Theory?, publicado em Popular Science, edição de fevereiro de 1904, p.371 A associatividade é uma das três propriedades que definem um grupo, as demais sendo a lei do cancelamento (ou seja, se r s.
Novo!!: Conectivo lógico e Associatividade · 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!!: Conectivo lógico e Axioma · Veja mais »
Begriffsschrift
Begriffsschrift (Traduzido grosseiramente do alemão para "ideografia") é um livro de lógica feito por Gottlob Frege, publicado em 1879, e o sistema formal estabelecido neste livro.
Novo!!: Conectivo lógico e Begriffsschrift · Veja mais »
Bertrand Russell
Bertrand Arthur William Russell, 3.º Conde Russell OM FRS (Trelleck, País de Gales, 18 de maio de 1872 — Penrhyndeudraeth, País de Gales, 2 de fevereiro de 1970) foi um dos mais influentes matemáticos, filósofos, ensaístas, historiadores e lógicos que viveram no.
Novo!!: Conectivo lógico e Bertrand Russell · Veja mais »
Completude funcional
Em lógica, um grupo de conectivos ou operadores Booleanos.
Novo!!: Conectivo lógico e Completude funcional · Veja mais »
Comutatividade
Comutatividade é uma propriedade de operações binárias, ou de ordem mais alta, em que a ordem dos operandos não altera o resultado final.
Novo!!: Conectivo lógico e Comutatividade · Veja mais »
Condicional material
O condicional material, também conhecido como implicação material, condicional funcional de verdade ou simplesmente condicional, é uma operação lógica.
Novo!!: Conectivo lógico e Condicional material · 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!!: Conectivo lógico e Conectivo lógico bicondicional · Veja mais »
Conjunção
Conjunção (do termo latino conjunctione) é uma das classes de palavras definidas pela gramática geral.
Novo!!: Conectivo lógico e Conjunção · Veja mais »
Constantes lógicas
Constante é uma área reservada para armazenamento de uma informação que não se alterará em todo o ciclo de vida do algoritmo, ou seja, tem sempre o mesmo valor dentro de um sistema.
Novo!!: Conectivo lógico e Constantes lógicas · Veja mais »
Contradição
Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições.
Novo!!: Conectivo lógico e Contradição · 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!!: Conectivo lógico e Disjunção lógica · Veja mais »
Distributividade
Distributividade é uma propriedade de duas operações binárias, em que a ordem em que as operações são efetuadas pode, de certa forma, ser trocada.
Novo!!: Conectivo lógico e Distributividade · Veja mais »
Falso (lógica)
Na lógica, falso ou não verdade é um valor verdade ou um conectivo lógico nulário.
Novo!!: Conectivo lógico e Falso (lógica) · Veja mais »
Função afim
Esquema explicativo de uma função afim. Exemplo de uma função afim. Uma função afim, também conhecida como função polinomial de grau 1 ou função polinomial de primeiro grau é uma função do tipo f(x).
Novo!!: Conectivo lógico e Função afim · 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!!: Conectivo lógico e Função de verdade · Veja mais »
Função monótona
A função f(x).
Novo!!: Conectivo lógico e Função monótona · Veja mais »
George Boole
George Boole (Lincoln, — Ballintemple) foi um matemático, filósofo britânico, criador da álgebra booleana, fundamental para o desenvolvimento da computação moderna.
Novo!!: Conectivo lógico e George Boole · Veja mais »
Giuseppe Peano
Giuseppe Peano (– Turim) foi um matemático e glottologista italiano.
Novo!!: Conectivo lógico e Giuseppe Peano · Veja mais »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, — Bad Kleinen) foi um matemático, lógico e filósofo alemão.
Novo!!: Conectivo lógico e Gottlob Frege · Veja mais »
Idempotência
Em matemática e ciência da computação, a idempotência é a propriedade que algumas operações têm de poderem ser aplicadas várias vezes sem que o valor do resultado se altere após a aplicação inicial.
Novo!!: Conectivo lógico e Idempotência · Veja mais »
Língua natural
Língua natural (língua humana, língua idiomática, ou somente língua ou idioma) é qualquer linguagem desenvolvida naturalmente pelo ser humano, de forma não premeditada, como resultado da facilidade inata para a linguagem possuída pelo intelecto humano.
Novo!!: Conectivo lógico e Língua natural · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Conectivo lógico e Lógica · Veja mais »
Lógica de predicados
Para o termo específico, ver Lógica de primeira ordem Na lógica matemática, a lógica de predicados é um termo genérico para sistemas formais simbólicos como lógica de primeira ordem, lógica de segunda ordem, many-sorted logic ou infinitary logic.
Novo!!: Conectivo lógico e Lógica de predicados · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Conectivo lógico e Lógica proposicional · Veja mais »
Linguagem formal
Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.
Novo!!: Conectivo lógico e Linguagem formal · Veja mais »
Moses Schönfinkel
Moses Ilyich Schönfinkel (Моисей Исаевич Шейнфинкель) (Ekaterinoslav, 4 de setembro de 1889 – Moscou, 1942) foi um matemático soviético, conhecido pela invenção da lógica combinatória.
Novo!!: Conectivo lógico e Moses Schönfinkel · 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!!: Conectivo lógico e Negação · Veja mais »
Operando
Em matemática, um operando é uma das entradas (argumentos) de um operador.
Novo!!: Conectivo lógico e Operando · 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!!: Conectivo lógico e Ou exclusivo · Veja mais »
Palavra
Na língua portuguesa, uma palavra (do latim parábola, que por sua vez deriva do grego translit. parabolé) pode ser definida como sendo um conjunto de letras ou sons de uma língua, juntamente com a ideia associada a este conjunto.
Novo!!: Conectivo lógico e Palavra · Veja mais »
Porta NAND
NAND ou Conectivo de Sheffer é um conectivo utilizado em lógica.
Novo!!: Conectivo lógico e Porta NAND · Veja mais »
Porta NOR
O NOR é um operador booleano lógico que é resultado da negação do operador OR.
Novo!!: Conectivo lógico e Porta NOR · Veja mais »
Símbolo (formal)
cadeias de símbolos podem ser divididos em disparates e fórmulas bem formadas. Uma linguagem formal pode ser pensada como sendo idêntica ao conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e "não teoremas". Símbolo lógico é um conceito fundamental em lógica, embora o termo "símbolo" normalmente seja utilizado em alguns momentos com a ideia de ser simbolizado; e em outros momentos para as marcas em um pedaço de papel ou quadro negro, que estão sendo usados para expressar essa ideia na linguagem formal.
Novo!!: Conectivo lógico e Símbolo (formal) · Veja mais »
Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.
Novo!!: Conectivo lógico e Se e somente se · Veja mais »
Sentença
Uma sentença judicial, nos termos do Código de Processo Civil brasileiro (Lei nº. 13.105/2015), é o pronunciamento por meio do qual o juízo, com base nos artigos 485 e 487 do Código de Processo Civil, põe fim à fase cognitiva do procedimento comum, bem como extingue a execução.
Novo!!: Conectivo lógico e Sentença · 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!!: Conectivo lógico e Sistema formal · Veja mais »
Tautologia
Tautologia (do grego ταὐτολογία "dizer o mesmo") é a denominação, na retórica, a um termo ou texto que é a mesma ideia expressa de formas diferentes, dizer a mesma coisa em termos diferentes.
Novo!!: Conectivo lógico e Tautologia · 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!!: Conectivo lógico e Teoria dos conjuntos · Veja mais »
Verdade
A verdade é a propriedade de estar de acordo com o fato real ou a realidade.
Novo!!: Conectivo lógico e Verdade · Veja mais »
