Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Tabela-verdade

Índice 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.

18 relações: Álgebra booliana, Charles Sanders Peirce, Década de 1880, Emil Post, Fórmula (lógica), Função de verdade, Gottlob Frege, Lógica, Lógica proposicional, Ludwig Wittgenstein, Microsoft Excel, Ou exclusivo, Porta NAND, Porta NOR, Tabela matemática, Tractatus Logico-Philosophicus, Universidade Federal do Rio Grande do Sul, 1922.

Á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!!: Tabela-verdade e Álgebra booliana · Veja mais »

Charles Sanders Peirce

Charles Sanders Peirce (Cambridge, 10 de setembro de 1839 — Milford 19 de abril de 1914) foi um filósofo, pedagogista, cientista, linguista e matemático americano.

Novo!!: Tabela-verdade e Charles Sanders Peirce · Veja mais »

Década de 1880

Século: Século XVIII - Século XIX - Século XX Décadas: 1850 1860 1870 - 1880 - 1890 1900 1910 Anos: 1880 - 1881 - 1882 - 1883 - 1884 - 1885 - 1886 - 1887 - 1888 - 1889 A década de 1880 foi o período de tempo entre 1 de janeiro de 1880 e 31 de dezembro de 1889.

Novo!!: Tabela-verdade e Década de 1880 · Veja mais »

Emil Post

Emil Leon Post (Augustów, Polônia do Congresso, no Império Russo (atual Polônia), 11 de fevereiro de 1897 – Nova York, Estados Unidos, 21 de abril de 1954) foi um matemático polonês-estadunidense.

Novo!!: Tabela-verdade e Emil Post · Veja mais »

Fórmula (lógica)

Na lógica matemática, uma fórmula é uma representação de uma proposição dentro de uma certa linguagem formal.

Novo!!: Tabela-verdade e Fórmula (lógica) · 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!!: Tabela-verdade e Função de verdade · Veja mais »

Gottlob Frege

Friedrich Ludwig Gottlob Frege (Wismar, — Bad Kleinen) foi um matemático, lógico e filósofo alemão.

Novo!!: Tabela-verdade e Gottlob Frege · 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!!: Tabela-verdade e Lógica · 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!!: Tabela-verdade e Lógica proposicional · Veja mais »

Ludwig Wittgenstein

Ludwig Joseph Johann Wittgenstein (Viena, 26 de Abril de 1889 — Cambridge, 29 de Abril de 1951) foi um filósofo austríaco, naturalizado britânico.

Novo!!: Tabela-verdade e Ludwig Wittgenstein · Veja mais »

Microsoft Excel

O Microsoft Excel é um editor de planilhas produzido pela Microsoft para computadores que utilizam o sistema operacional Microsoft Windows, além de computadores Macintosh da Apple Inc. e dispositivos móveis como o Windows Phone, Android ou o iOS.

Novo!!: Tabela-verdade e Microsoft Excel · 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!!: Tabela-verdade e Ou exclusivo · Veja mais »

Porta NAND

NAND ou Conectivo de Sheffer é um conectivo utilizado em lógica.

Novo!!: Tabela-verdade e Porta NAND · Veja mais »

Porta NOR

O NOR é um operador booleano lógico que é resultado da negação do operador OR.

Novo!!: Tabela-verdade e Porta NOR · Veja mais »

Tabela matemática

A tabela matemática, às vezes chamada de Tafelwerk, é uma coleção de teses e definições do ramo da matemática que contém uma série de cálculos e conceitos.

Novo!!: Tabela-verdade e Tabela matemática · Veja mais »

Tractatus Logico-Philosophicus

O Tractatus Logico-Philosophicus (latim para "Tratado Lógico-Filosófico") é o livro publicado pelo filósofo austríaco Ludwig Wittgenstein em sua vida.

Novo!!: Tabela-verdade e Tractatus Logico-Philosophicus · Veja mais »

Universidade Federal do Rio Grande do Sul

A Universidade Federal do Rio Grande do Sul (UFRGS)pronuncia-se "URGS", pois antes da reforma universitária brasileira de 1968 o nome da instituição era URGS - Universidade do Rio Grande do Sul.

Novo!!: Tabela-verdade e Universidade Federal do Rio Grande do Sul · Veja mais »

1922

---- (na numeração romana) foi um ano comum do século XX do actual Calendário Gregoriano, da Era de Cristo, e a sua letra dominical foi A (52 semanas), com início a um domingo e terminou também a um domingo.

Novo!!: Tabela-verdade e 1922 · Veja mais »

Redireciona aqui:

Tabela da verdade, Tabela de verdade, Tabela verdade, Tabela veritativa, Valor Lógico, Valor de Verdade, Valor lógico, Valores Lógicos, Valores de Verdade, Valores lógicos.

CessanteEntrada
Ei! Agora estamos em Facebook! »