b'\n_START_ARTICLE_\nTabela-verdade\n_START_PARAGRAPH_\nTabela-verdade, tabela de verdade ou tabela veritativa \xc3\xa9 um tipo de tabela matem\xc3\xa1tica usada em l\xc3\xb3gica para determinar se uma f\xc3\xb3rmula \xc3\xa9 v\xc3\xa1lida ou se um sequente \xc3\xa9 correto._NEWLINE_As tabelas-verdade derivam do trabalho de Gottlob Frege, Charles Peirce e outros nomes da d\xc3\xa9cada de 1880, e tomaram a forma atual em 1922 atrav\xc3\xa9s dos trabalhos de Emil Post e Ludwig Wittgenstein. A publica\xc3\xa7\xc3\xa3o do Tractatus Logico-Philosophicus, de Wittgenstein, utilizava as mesmas para classificar fun\xc3\xa7\xc3\xb5es veritativas em uma s\xc3\xa9rie. A vasta influ\xc3\xaancia de seu trabalho levou, ent\xc3\xa3o, \xc3\xa0 difus\xc3\xa3o do uso de tabelas-verdade.\n_START_SECTION_\nComo usar tabelas para verificar a validade de argumentos\n_START_PARAGRAPH_\nVerifique se a conclus\xc3\xa3o nunca \xc3\xa9 falsa quando as premissas s\xc3\xa3o verdadeiras. Em caso positivo, o argumento \xc3\xa9 v\xc3\xa1lido. Em caso negativo, \xc3\xa9 inv\xc3\xa1lido.'