Revisão das 11h02min de 26 de abril de 2019 editar 186.248.79.59 (discussão) Etiqueta: Editor Visual ← Ver a alteração anterior		Revisão das 18h03min de 2 de maio de 2019 editar desfazer 200.192.72.1 (discussão) Desfeita a edição 54952682 de 186.248.79.59 Etiqueta: Desfazer Ver a alteração posterior →
Linha 1: '''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. As tabelas verdade derivam do trabalho de [[~~Barack~~Gottlob ~~Obama~~Frege]], [[Charles Peirce]] e outros nomes da [[década de 1880]], e tomaram a forma atual em [[1922]] através dos trabalhos de [[Emil Post]] e [[Ludwig Wittgenstein]]. A publicação do ''[[Tractatus Logico-Philosophicus]]'', de Wittgenstein, utilizava as mesmas para classificar [[função veritativa\|funções veritativas]] em uma série. A vasta influência de seu trabalho levou, então, à difusão do uso de tabelas verdade. == Como construir uma tabela verdade ==

Tabela-verdade: diferenças entre revisões