Lógica Matemática - On-line 3 (AOL 3)

Prévia do material em texto

Avaliação On-Line 3 (AOL 3) – Lógica Matemática 
Conteúdo do teste 
1. 
Pergunta 1 
 
 
2. 
 
 
 
 
Pergunta 3 
1 ponto 
Assim como em qualquer outra linguagem, a linguagem formal do cálculo proposicional possui um 
alfabeto próprio. Qual das opções apresenta corretamente uma sequência de símbolos do alfabeto da 
lógica das proposições? 
Resposta Certa 
1. p, q, r, s, t, u, v, w, x, z. 
2. m, n, o, p, q, r, s, t, u, v, w, x, y, z. 
3. m, n, o, p, q, r, s, t, u, v, x, y, z. 
4. p, q, r, s, t, u, v, w, x, y, z. 
5. o, p, q, r, s, t, u, v, w, x, y, z. 
3. 
Pergunta 4 
1 ponto 
Observe a seguinte sentença: “É verdade que o homem chegou até a lua somente se for verdade que nem 
toda ave é capaz de voar”. Assumindo que a sentença é verdadeira, ou seja, seu valor lógico é 
“verdadeiro”, qual das opções sempre levará a essa conclusão, independentemente do valor-verdade de 
cada proposição atômica? 
 
4. 
Pergunta 5 
1 ponto 
Para que seja uma sentença válida, a proposição deve exprimir juízo ou realizar uma afirmação. Qual das 
opções apresenta uma sentença válida? 
1. Ah! Ele passou. 
2. Fez. 
3. O time adversário fez gol? 
4. Parado ai! 
5. Nem tudo o que é bom para os olhos é também bom para o organismo. 
5. 
Pergunta 6 
 
 
6. 
Pergunta 7 
1 ponto 
As proposições afirmam fatos ou exprimem juízos a partir dos quais são formadas determinadas 
entidades. Com base nos conceitos da lógica das proposições, qual das alternativas está correta? 
1. Toda proposição simples ou composta pode possuir valores-verdade “verdadeiro” e 
“falso” simultaneamente. 
2. Uma proposição p que possua valor lógico “verdadeiro”, se unida com uma proposição q 
que possua valor lógico “falso” através de uma conjunção, gera uma sentença de valor lógico 
“verdadeiro”. 
3. Nenhuma proposição composta, que possua mais do que um conectivo diferente em sua 
composição, será capaz de possuir valor lógico “verdadeiro”. 
4. Toda e qualquer proposição composta, independentemente dos valores lógicos de suas 
proposições atômicas, sempre terá seu valor lógico “verdadeiro”, basta somente que todos os 
conectivos sejam disjunções. 
5. A formação de qualquer proposição deve considerar o princípio do terceiro excluído, ou 
seja, uma proposição ou possuir valor lógico “verdadeiro” ou valor lógico “falso”. 
7. 
Pergunta 8 
1 ponto 
Sabe-se que o cálculo proposicional apresenta uma série de regras que permitem definir se uma 
conclusão obtida a partir da análise de uma série de premissas (conjunto de proposições) é válida ou não. 
Neste caso, a preocupação não é com o valor verdade obtido, mas se o valor verdade obtido é ou não 
consistente. Qual das opções apresenta uma conclusão válida? 
 
8. 
Pergunta 9 
1 ponto 
No ano de 1981, quando Kurt Gödel demonstrou um fato que torna verdadeira a seguinte afirmação: 
dada uma linguagem da lógica elementar de primeira ordem, então as noções de consequência 
lógica e dedução são equivalentes. Qual dos teoremas apresentados a seguir é o resultado desta 
demonstração? 
1. Teorema da completude da lógica inconsistente. 
2. Teorema da completude da lógica elementar. 
3. Teorema da consistência da lógica elementar. 
4. Teorema da inconsistência da lógica elementar. 
5. Teorema da completude da lógica consistente. 
9. 
Pergunta 10