fundamentos matematicos para computação

Prévia do material em texto

<p>PERGUNTA 1</p><p>1. Em lógica proposicional, a letra E espelhada na horizontal (∃) é, sob certa perspectiva, um mecanismo complementar ao que é oferecido pelo quantificador universal (tão bem associado ao seu símbolo ∀).</p><p>Analise as asserções a seguir e a relação proposta entre elas.</p><p>I. Instâncias do tipo “todo”, “para todo”, “cada” e “qualquer” pressupõem sempre a utilização de .</p><p>PORQUE</p><p>II. Em contrapartida, emprega-se para denotar instâncias como “algum”, “existe um” e “ao menos um”.</p><p>Avaliando essas asserções, é correto afirmar que:</p><p>a.</p><p>as duas asserções são verdadeiras, mas a segunda não justifica a primeira.</p><p>b.</p><p>a primeira asserção é falsa e a segunda é verdadeira.</p><p>c.</p><p>as duas asserções são verdadeiras e a segunda justifica a primeira.</p><p>d.</p><p>a primeira asserção é verdadeira e a segunda é falsa.</p><p>e.</p><p>as duas asserções são falsas.</p><p>2,5 pontos</p><p>PERGUNTA 2</p><p>1. Quando se trabalha com lógica proposicional, é inevitável considerar quantificadores e predicados. Quantificadores são sentenças do tipo “para todo”, “para cada” ou “para algum”, que informam quantos objetos, em dado sentido, dispõem de determinada propriedade.</p><p>Assinale a alternativa que apresenta o equivalente ao termo “propriedade”, em relação à lógica proposicional.</p><p>a.</p><p>Singularidade.</p><p>b.</p><p>Posse.</p><p>c.</p><p>Predicado.</p><p>d.</p><p>Domínio.</p><p>e.</p><p>Vinculação.</p><p>2,5 pontos</p><p>PERGUNTA 3</p><p>1. No âmbito dos fundamentos matemáticos para computação, especificamente no campo da lógica proposicional, é preciso saber trabalhar com os denominados argumentos válidos. Tais argumentos se destacam por apresentarem três qualidades intrínsecas.</p><p>Assinale a alternativa que apresenta a descrição correta das três qualidades em questão.</p><p>a.</p><p>Transmutação, amplitude e potencialidade.</p><p>b.</p><p>Apuração, beatitude e transitoriedade.</p><p>c.</p><p>Translação, magnitude e sublimidade.</p><p>d.</p><p>Segregação, plenitude e fatuidade.</p><p>e.</p><p>Correção, completude e tratabilidade.</p><p>2,5 pontos</p><p>PERGUNTA 4</p><p>1. Ao se adentrar o campo de estudo da lógica proposicional, no contexto dos fundamentos matemáticos para computação, é praticamente inevitável se deparar com os quantificadores e predicados. Em relação aos quantificadores, sabe-se que eles informam quantos objetos têm determinada propriedade.</p><p>Assinale a alternativa que apresenta a descrição correta do conceito de predicados ternários.</p><p>a.</p><p>Dependem do domínio dos objetos.</p><p>b.</p><p>Definem quantificadores universais.</p><p>c.</p><p>Definem quantificadores existenciais.</p><p>d.</p><p>Consideram propriedades de três variáveis.</p><p>e.</p><p>Consideram propriedades de uma única variável.</p><p>image1.wmf</p>