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 LogicoPhilosophicus, 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.