FMC SEMANA 1

Prévia do material em texto

FMC SEMANA 1 
O valor lógico da expressão (∀ x ) (x > 0) é dependente do domínio dos objetos sobre os quais se faz a referência ou a interpretação da expressão. Portanto, 
há uma dependência da coleção de objetos dentre os quais x pode ser selecionado. 
 
Analise as asserções a seguir e a relação proposta entre elas. 
 
I. Essa coleção de objetos é denominada conjunto universo. 
PORQUE 
II. Inexistem condições impostas para o valor lógico da expressão. 
 
Avaliando essas asserções, é correto afirmar que: 
 
a. as duas asserções são verdadeiras, mas a segunda não justifica a primeira. 
 
b. a primeira asserção é verdadeira e a segunda é falsa. 
 
c. as duas asserções são verdadeiras e a segunda justifica a primeira. 
 
d. a primeira asserção é falsa e a segunda é verdadeira. 
 
e. as duas asserções são falsas. 
 
Adotam-se ferramentas da lógica formal para verificar como chegar a conclusões, a partir de dadas proposições. O sistema envolvido é denominado 
lógica proposicional, lógica declarativa ou cálculo proposicional. No presente contexto, o termo “cálculo” é utilizado no sentido mais amplo, portanto, 
muito mais inclinado à avaliação e ao raciocínio do que à diferenciação e à integração. 
 
Com base nas informações apresentadas, analise as afirmativas a seguir e assinale V para a(s) verdadeira(s) ou F para a(s) falsa(s). 
 
I. ( ) Um argumento válido deveria ser verdadeiro com base integralmente em sua estrutura interna. 
II. ( ) Para todos os efeitos, uma hipótese de um argumento válido corresponde à conclusão do argumento. 
III. ( ) Por meio do sistema lógico completo, entende-se que todos os argumentos válidos deveriam ser demonstráveis. 
 
Assinale a alternativa que apresenta a sequência correta. 
 
a. V, V, F. 
 
b. V, F, F. 
 
c. F, V, V. 
 
d. F, F, V. 
 
e. V, F, V. 
 
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. 
 
 
Assinale a alternativa que apresenta a descrição correta das três qualidades em questão. 
 
a. Segregação, plenitude e fatuidade. 
 
b. Correção, completude e tratabilidade. 
 
c. Transmutação, amplitude e potencialidade. 
 
d. Apuração, beatitude e transitoriedade. 
 
e. Translação, magnitude e sublimidade. 
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. 
 
 
Assinale a alternativa que apresenta a descrição correta do conceito de predicados ternários. 
 
a. Definem quantificadores existenciais. 
 
b. Definem quantificadores universais. 
 
c. Consideram propriedades de três variáveis. 
 
d. Dependem do domínio dos objetos. 
 
e. Consideram propriedades de uma única variável.