Acesso mais rápido do que o navegador!
36 relações: Afirmação do consequente, Alfred North Whitehead, Antecedente (lógica), Anverso e reverso, Bertrand Russell, Comutatividade, Condicional material, Consequência lógica, Contraposição, Contraposição (lógica tradicional), Derivação formal, Inferência, Inferência imediata, Lógica aristotélica, Lógica proposicional, Metalógica, Modus ponens, Modus tollens, Necessidade e suficiência, Negação, Negação do antecedente, Permutação circular, Principia Mathematica, Recíproca, Regra de inferência, Símbolo, Símbolo (formal), Se e somente se, Sequente, Silogismo, Sistema formal, Tautologia (lógica), Teorema, Teoria dos conjuntos, Termo (lógica), Validade.
Afirmação do consequente
Afirmação do consequente é uma falácia lógica de non sequitur que consiste em confundir o antecedente com o consequente, ou seja, consiste em afirmar a consequência.
Novo!!: Transposição (lógica) e Afirmação do consequente · Veja mais »
Alfred North Whitehead
Alfred North Whitehead (Ramsgate, – Cambridge) foi um filósofo, lógico e matemático britânico.
Novo!!: Transposição (lógica) e Alfred North Whitehead · Veja mais »
Antecedente (lógica)
Um antecedente é a primeira metade de uma proposição hipotética, sempre que a cláusula "se" precede a cláusula "então".
Novo!!: Transposição (lógica) e Antecedente (lógica) · Veja mais »
Anverso e reverso
Moeda imperial romana com a cabeça de Tranquilina no anverso, cunhada c. 241 A.D. quando do seu casamento com Gordian III, o qual está representado numa escala inferior no reverso; a moeda exibe o anverso, obverso, ou "cara" e o reverso, "coroa" ou "trás", convenção que continua a dominar a cunhagem de moedas ainda hoje em dia Moeda imperial romana de Marco Cláudio Tácito, que governou em 275-276, segue as tradições de moedas da convenção do anverso e reverso O termo anverso (ou obverso), e o seu oposto, reverso (ou verso), descrevem os dois lados das unidades de moeda e de muitos outros objectos com duas faces - normalmente em referência a moedas, mas também a papel moeda (notas), bandeiras (ver Terminologia de bandeiras), medalhas, desenhos, e outras peças de arte ou artigos impressos.
Novo!!: Transposição (lógica) e Anverso e reverso · 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!!: Transposição (lógica) e Bertrand Russell · 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!!: Transposição (lógica) 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!!: Transposição (lógica) e Condicional material · Veja mais »
Consequência lógica
Consequência lógica é um conceito fundamental na lógica.
Novo!!: Transposição (lógica) e Consequência lógica · Veja mais »
Contraposição
Em lógica, contraposição é uma lei, que diz que, para toda sentença condicional, há uma equivalência lógica entre a mesma e sua contrapositiva.
Novo!!: Transposição (lógica) e Contraposição · Veja mais »
Contraposição (lógica tradicional)
Na lógica tradicional, a contraposição é uma forma de inferência imediata, na qual a partir de uma dada proposição outra é inferida, tendo por sujeito o contraditório do predicado original, e em alguns casos, envolvendo uma mudança de qualidade (afirmação ou negação).
Novo!!: Transposição (lógica) e Contraposição (lógica tradicional) · Veja mais »
Derivação formal
Em lógica, uma derivação formal (ou prova formal) é uma sequência finita de sentenças onde cada sentença pode ser um axioma ou então pode ser obtida como consequência direta de sentenças anteriores na sequência utilizando-se uma regra de inferência.
Novo!!: Transposição (lógica) e Derivação formal · Veja mais »
Inferência
Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras.
Novo!!: Transposição (lógica) e Inferência · Veja mais »
Inferência imediata
Uma inferência imediata é uma inferência na qual pode ser feita a partir de apenas uma afirmação ou proposição.
Novo!!: Transposição (lógica) e Inferência imediata · 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!!: Transposição (lógica) e Lógica aristotélica · 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!!: Transposição (lógica) e Lógica proposicional · Veja mais »
Metalógica
Metalógica é o estudo da metateoria da Lógica.
Novo!!: Transposição (lógica) e Metalógica · 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!!: Transposição (lógica) e Modus ponens · Veja mais »
Modus tollens
Modus tollens (Latim: modo que nega por negação) ou negação do consequente, é o nome formal para a prova indireta, também chamado de modo apagógico.
Novo!!: Transposição (lógica) e Modus tollens · Veja mais »
Necessidade e suficiência
Na lógica, os termos necessidade e suficiência são usados para descrever uma condicional material ou uma relação de implicação entre proposições.
Novo!!: Transposição (lógica) e Necessidade e suficiência · 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!!: Transposição (lógica) e Negação · Veja mais »
Negação do antecedente
Negação do antecedente é uma falácia que consiste em confundir condição suficiente com necessária.
Novo!!: Transposição (lógica) e Negação do antecedente · Veja mais »
Permutação circular
Na matemática, permutação circular é um tipo de permutação composta por um ou mais conjuntos em ordem cíclica.
Novo!!: Transposição (lógica) e Permutação circular · Veja mais »
Principia Mathematica
''Principia Mathematica'' O Principia Mathematica (tradução livre do latim: Princípios Matemáticos) é uma obra de três volumes sobre fundamentos da matemática, escrita por Alfred North Whitehead e seu aluno Bertrand Russell e publicada nos anos de 1910, 1912 e 1913.
Novo!!: Transposição (lógica) e Principia Mathematica · Veja mais »
Recíproca
A recíproca é uma relação de implicação.
Novo!!: Transposição (lógica) e Recíproca · Veja mais »
Regra de inferência
Inferência é o processo pelo qual se chega a uma proposição, firmada na base de uma ou outras mais proposições aceitas como ponto de partida do processo.
Novo!!: Transposição (lógica) e Regra de inferência · Veja mais »
Símbolo
O termo símbolo, com origem no grego symbolon (σύμβολον), designa um tipo de signo em que o significante (realidade concreta) representa algo abstrato (religiões, nações, quantidades de tempo ou matéria, etc.) por força de convenção, semelhança ou contiguidade semântica (como no caso da cruz que representa o cristianismo, porque ela é uma parte do todo que é imagem do Cristo morto).
Novo!!: Transposição (lógica) e Símbolo · 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!!: Transposição (lógica) 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!!: Transposição (lógica) e Se e somente se · Veja mais »
Sequente
Na teoria da prova, um sequente é uma declaração formalizada de verificação que é frequentemente usada quando se está especificando cálculo para o método dedutivo.
Novo!!: Transposição (lógica) e Sequente · Veja mais »
Silogismo
Um silogismo (do grego antigo συλλογισμός, transl. syllogismós, 'conexão de ideias', 'raciocínio', composto pelos termos σύν, transl. syn, 'com', e λογισμός, 'cálculo' e, por extensão, 'raciocínio', pelo latim syllogismus,i) é um termo filosófico com o qual Aristóteles designou a conclusão deduzida de premissas, a argumentação lógica perfeita.
Novo!!: Transposição (lógica) e Silogismo · 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!!: Transposição (lógica) e Sistema formal · Veja mais »
Tautologia (lógica)
Na lógica proposicional, uma tautologia (do grego ταυτολογία) é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais.
Novo!!: Transposição (lógica) e Tautologia (lógica) · 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!!: Transposição (lógica) e Teorema · 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!!: Transposição (lógica) e Teoria dos conjuntos · Veja mais »
Termo (lógica)
Em um dado sistema lógico, um termo é um nome associado a um objeto do universo de discurso.
Novo!!: Transposição (lógica) e Termo (lógica) · Veja mais »
Validade
O termo validade (também chamada verdade lógica, verdade analítica, ou verdade necessária), em lógica, refere-se geralmente a uma propriedade de enunciados particulares e de argumentos dedutivos.
Novo!!: Transposição (lógica) e Validade · Veja mais »
