Filtrar


Questões por página:

• Todo engenheiro químico é bom na área de exatas.

• Alguma pessoa boa na área de exatas trabalha no polo petroquímico.

• Nenhum professor de química trabalha no polo petroquímico.

• Algum engenheiro químico é professor de química.


Considerando o argumento com as premissas acima apresentadas, é correto afirmar que a conclusão válida para esse argumento é:

Qual é a proposição que corresponde à negação da seguinte proposição: Todo engenheiro químico é bacharel em química?

Considere as afirmações:
I. Todo técnico em informática é esforçado. II. Alguns analistas são esforçados. III. Não há técnico em informática que seja analista.
O esquema de diagramas que representa, simultânea e exatamente, essas afirmações é
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.
Assinale a opção em que se chega a uma conclusão CORRETA por meio de um processo de dedução lógica.