Exercícios

Prévia do material em texto

Questão 1/5 - Lógica Matemática 
Leia o texto abaixo: 
 
"Como negar disjunção Negando cada uma das proposições simples que a constituem. Por exemplo, se a proposição composta 
'A garantia do carro é de 1 ano ou 10 mil quilômetros' é verdadeira, e sabendo-se que a mencionada garantia expirou, o que 
podemos concluir?". 
 
 
Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: MACHADO, N.J.; CUNHA, M.O. Lógica e 
linguagem cotidiana: Verdade, coerência, comunicação, argumentação. 2. ed. Belo Horizonte: Autêntica, 2008. p. 55. 
 
Considere a tabela a seguir: 
 
 
 
De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos sobre relação de 
equivalência, analise as seguintes assertivas e assinale a alternativa que apresenta uma proposição correspondente aos 
elementos e condições da dada tabela-verdade. 
Nota: 20.0 
 
A Proposição (r∨s)⇔(∼s↔∼r)(r∨s)⇔(∼s↔∼r) 
 
B Proposição (r→s)⇔(∼s→∼r)(r→s)⇔(∼s→∼r) 
Você acertou! 
Proposição (r→s)⇔(∼s→∼r)(r→s)⇔(∼s→∼r)(r?s)? que corresponde aos elementos e condições da tabela-verdade dada (livro-base, p. 66). 
 
C Proposição (r∧s)⇔(∼s→r)(r∧s)⇔(∼s→r) 
 
D Proposição (r→∼s)⇔(∼s→∼r)(r→∼s)⇔(∼s→∼r) 
 
E Proposição (r→s)⇔(s→∼r)(r→s)⇔(s→∼r) 
 
Questão 2/5 - Lógica Matemática 
Considere o trecho de texto a seguir: 
 
"Uma primeira providência, ao iniciarmos um estudo de Lógica, é aprender a distinguir um mero agrupamento de frases de 
um argumento de fato, ou seja, a distinguir argumentos de não-argumentos". 
Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: MACHADO, N.J.; CUNHA, M.O. Lógica e 
linguagem cotidiana: Verdade, coerência, comunicação, argumentação. 2. ed. Belo Horizonte: Autêntica, 2008. p. 17. 
De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos sobre os conectivos lógicos 
das proposições, analise as assertivas a seguir e assinale a correta. 
Nota: 20.0 
 
A Uma condicional do tipo “se...então” é representada logicamente por "⟷⟷". 
 
B O símbolo de implicação é representado logicamente por "~". 
 
C A bicondicional “se e somente se” é representada logicamente por "←←". 
 
D A expressão “para todo” é representada logicamente pelo conectivo "∃∃". 
 
E O conectivo "^" é equivalente à expressão "e" , tendo como nome lógico "conjunção". 
Você acertou! 
O conectivo “^” é equivalente à expressão “e”, tendo como nome lógico “conjunção” (livro-base, p. 34). 
 
Questão 3/5 - Lógica Matemática 
Considere o trecho de texto a seguir: 
 
"O número de linhas da tabela-verdade de uma proposição composta depende do número de proposições simples que a 
integram, sendo dado pelo seguinte teorema: A tabela verdade de uma proposição composta com n proposições simples 
componentes contém 2n2n linhas". 
 
 
Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: ALENCAR FILHO, Edgard de. Iniciação 
à lógica matemática. São Paulo: Nobel, 2002. p. 29. 
 
Considere a seguinte tabela: 
 
 
De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos, considerando a última 
coluna da dada tabela-verdade, analise as seguintes assertivas e assinale a correta: 
Nota: 20.0 
 
A Na primeira linha, o resultado é F. 
 
B Na segunda linha, o resultado é V 
 
C Na terceira linha, o resultado é V 
 
D Na quarta linha, o resultado é V. 
 
E A maioria das respostas é F. 
Você acertou! 
Somente a primeira linha tem resultado V. A sequência correta é (VFFF) (livro-base, p. 77). 
 
Questão 4/5 - Lógica Matemática 
Considere o trecho de texto a seguir: 
 
"Para demonstrar que um argumento é não-válido, basta encontrar um argumento da mesma forma e que tenha, no entanto, 
premissas verdadeiras e conclusão falsa. Esta maneira de demonstrar a não-validade de um argumento chama-se "Método 
do contra-exemplo". 
 
Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: ALENCAR FILHO, Edgard de. Iniciação 
à lógica matemática. São Paulo: Nobel, 2002. p. 102. 
De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos, é correto afirmar que a regra 
modus ponens é uma implicação do tipo: 
Nota: 20.0 
 
A (q→q)∧q⇒q(q→q)∧q⇒q 
 
B (p↔q)∧p⇒q(p↔q)∧p⇒q 
 
C (p→q)∧p⇒q(p→q)∧p⇒q 
Você acertou! 
A regra modus ponens é uma implicação do tipo (p→q)∧p⇒q(p→q)∧p⇒q (livro-base, p. 68). 
 
D (p→q)∧q⇒q(p→q)∧q⇒q 
 
E (p→q)∧q⇒p(p→q)∧q⇒p 
 
Questão 5/5 - Lógica Matemática 
Considere o trecho de texto a seguir: 
 
"Ao construir um argumentos, pretendemos justificar a verdade da conclusão a partir da verdae das premissas. Duas 
condições, portanto, são necessárias para que possamos garantir a verdade de uma conclusão: a verdade das premissas e o 
recurso a uma argumentação coerente". 
Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: MACHADO, N.J.; CUNHA, M.O. Lógica e 
linguagem cotidiana: Verdade, coerência, comunicação, argumentação. 2. ed. Belo Horizonte: Autêntica, 2008. p. 22. 
De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos sobre o conceito de 
tautologia, analise as seguintes assertivas e assinale a correta: 
Nota: 20.0 
 
A Uma tautologia é toda proposição composta cujo valor lógico é sempre a verdade, independentemente dos valores lógicos das proposições simples. 
Você acertou! 
Uma tautologia é toda proposição composta cujo valor lógico é sempre a verdade, independentemente dos valores lógicos das proposições simples. A definição de 
tautologia também é conhecida como fórmula logicamente válida (livro-base, p.59). 
 
B Se o valor lógico de uma proposição for falso, a tautologia é falsa. 
 
C A tautologia tem o mesmo valor que a contradição. 
 
D A contradição pode ser verdadeira desde que faça a negação de uma tautologia falsa. 
 
E A contradição pode ser verdadeira ou falsa dependendo do valor lógico das outras proposições.