O estudo formal de proposições em termos da lógica proposicional é realizado em termos de tabelas-verdade. “As tabelas-verdade derivam do trabalho de Gottlob Frege, Charles Peirce

O estudo formal de proposições em termos da lógica proposicional é realizado em termos de tabelas-verdade.

“As tabelas-verdade derivam do trabalho de Gottlob 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ções veritativas em uma série. A vasta influência de seu trabalho levou, então, à difusão do uso de tabelas-verdade.” Fonte: wikipedia, “Tabela-verdade”.

Em uma tabela-verdade cada proposição simples individual é organizada em uma coluna e recebe valor verdadeiro (V) ou falso (F) a cada linha. Em uma última coluna se elenca o resultado lógico vindo da regra lógica definida pelos conectivos, para cada uma das linhas.

Considere uma proposição composta por proposições simples:

“Se João mora aqui, então ele é rico, e, se ele é rico, então tem mais de um carro, e, se ele tem mais de um carro, então ele tem carros com placas diferentes, e não depende da regra de rodízios de carro do município.”

Assinale a alternativa que indica o número de linhas de uma tabela-verdade que contenha a avaliação desta proposição composta.