Raciocínio lógicoProposições categóricas

• (IBFC 2021)

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, enã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.


A) 8

B) 16

C) 32

D) 64


Próximo:
EXERCÍCIOS - Exercício 108

Vamos para o Anterior: Exercício 106

Tente Este: Exercício 14

Primeiro: Exercício 1

VOLTAR ao índice: Raciocínio lógico