Apol 1- Lógica matemática

Prévia do material em texto

Questão 1/5 - Lógica Matemática
Leia o seguinte fragmento de texto:
"Uma frase pode ser classificada como  VERDADEIRA ou  FALSA, não podendo ser as duas coisas simultaneamente, é chamada de PROPOSIÇÃO. Nem todas as frases que enunciamos são proposições. Uma proposição é uma sentença declarativa da qual se pode dizer sem dúvida: é VERDADEIRA, ou então, é FALSA".
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 a representação da fórmula lógica de uma proposição, analise as seguintes assertivas e assinale a correta para as proposições p:"2+2=4" e q:"2 é um número primo".
Nota: 20.0
	
	A
	A negação de p é representada logicamente por 4≠1≠1.
	
	B
	A negação de q é representada por 2≠22≠2.
	
	C
	A proposição "p implica em q" pode ser representada por p~q.
	
	D
	A proposição "2+2=4" ou "2 é um número primo" pode ser representada por p∨qp∨q.
Você acertou!
A proposição "2 + 2 = 4 ou 2 é um número primo” é representada por p v q  (livro-base, p. 35).
	
	E
	A proposição "2+2=4" e "2 é um número primo" é representada logicamente por p∨qp∨q.
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:
"Chama-se disjunção de duas proposições pp e qq a proposição representada por 'pp ou qq', cujo valor lógico é a verdade (V) quando ao menos uma das proposições pp e qq é verdadeira e a falsidade (F) quando as proposições pp e qq são ambas falsas. Simbolicamente, a disjunção de duas proposições pp e qq indica-se com a notação: 'p∨qp∨q', que se lê: 'pp ou qq'".
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. 20.
De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos sobre implicação lógica, considerando a tabela-verdade referente à condicional "p →→ q" e à conjunção "p ∧∧ q", analise as assertivas a seguir e assinale a correta:
Nota: 20.0
	
	A
	Se o valor de pp for (V) e o valor de qq for (V), então o valor de p∧qp∧q será (F).
	
	B
	Se o valor de pp for (V) e o valor de qq for (V), então o valor de p→qp→q será (F).
	
	C
	Se o valor de pp for (F) e o valor de qq for (V), então o valor de p→qp→q será (F).
	
	D
	Se o valor de pp for (F) e o valor de qq for (F), então o valor de p∧qp∧q será (V).
	
	E
	Se o valor de pp for (F) e o valor de qq for (V), então o valor de p∧qp∧q será (F).
Você acertou!
A alternativa verdadeira é a letra e), pois a conjunção só é verdadeira se os dois valores forem verdadeiros (livro-base, p. 64).
Questão 5/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