Fundamentos Matemáticos para Computação Semana 1 Atv Avaliativa UNIVESP 2023

Prévia do material em texto

Fundamentos Matemáticos para Computação Semana 1 – Atv. Avaliativa UNIVESP 2023 
 
PERGUNTA 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 ∀).
Analise as asserções a seguir e a relação proposta entre elas.
I. Instâncias do tipo “todo”, “para todo”, “cada” e “qualquer” pressupõem sempre a utilização de .
PORQUE 
II. Em contrapartida, emprega-se para denotar instâncias como “algum”, “existe um” e “ao menos um”.
Avaliando essas asserções, é correto afirmar que:
	
	a.
	as duas asserções são verdadeiras, mas a segunda não justifica a primeira.
	
	b.
	as duas asserções são falsas.
	
	c.
	a primeira asserção é falsa e a segunda é verdadeira.
	
	d.
	a primeira asserção é verdadeira e a segunda é falsa.
	
	e.
	as duas asserções são verdadeiras e a segunda justifica a primeira.
PERGUNTA 2
O quantificador universal é uma instância da lógica proposicional que, quando encontrado em uma declaração, determina a leitura “para todo”, “para cada” ou “para qualquer”. Seu símbolo gráfico é um tanto incomum, quando considerado o alfabeto convencional, afinal, trata-se de uma letra bastante habitual visualmente, virada de cabeça para baixo.
Assinale a alternativa que apresenta, de forma correta, a letra em questão.
	
	a.
	J.
	
	b.
	A.
	
	c.
	Z.
	
	d.
	T.
	
	e.
	M.
PERGUNTA 3
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.
	Consideram propriedades de uma única variável.
	
	b.
	Definem quantificadores existenciais.
	
	c.
	Dependem do domínio dos objetos.
	
	d.
	Definem quantificadores universais.
	
	e.
	Consideram propriedades de três variáveis.
PERGUNTA 4
Na sequência de frases “Ou Ari estuda, ou Ari trabalha. Além disso, Ari gosta de ler”, é possível constatar uma cadeia que determina uma expressão válida do ponto de vista lógico. Isso enseja um importante conceito, em termos de fundamentos matemáticos para computação.
Assinale a alternativa que apresenta a descrição correta do conceito em questão.
	
	a.
	Estimativa bem estimada.
	
	b.
	Fórmula bem formada.
	
	c.
	Cálculo bem calculado.
	
	d.
	Conectivo bem conectado.
	
	e.
	Argumento bem argumentado.
Fundamentos
 
Matemáticos
 
para
 
Computação
 
Semana
 
1
 
–
 
At
v
.
 
 
Avaliat
iv
a
 
UNIVESP
 
2023
 
 
 
 
 
PERGUNTA 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
 
?
).
 
 
Analise
 
as
 
asserções
 
a
 
seguir
 
e
 
a
 
relação
 
proposta
 
en
tre
 
elas.
 
 
I.
 
Instâncias
 
do
 
tipo
 
“todo”,
 
“para
 
todo”,
 
“cada”
 
e
 
“qualquer”
 
pressupõem
 
sempre
 
a
 
utilização
 
de
 
.
 
 
PORQUE
 
 
 
II.
 
Em
 
contrapartida,
 
emprega
-
se
 
para
 
denotar
 
instâncias
 
como
 
“algum”,
 
“existe
 
um”
 
e
 
“ao
 
menos
 
um”.
 
 
Avaliando
 
essas
 
asserções,
 
é
 
corret
o
 
afirmar
 
que
:
 
 
 
a.
 
as duas asserções são verdadeiras, mas a segunda não justifica a primeira.
 
 
b.
 
as duas asserções são falsas.
 
 
c.
 
a primeira asserção é falsa e a segunda é verdadeira.
 
 
d.
 
a primeira asserção é verdadeira e a segunda é falsa.
 
 
e.
 
as duas asserções são verdadeiras e a segunda justifica a primeira.
 
 
PERGUNTA 2
 
 
O
 
quantificador
 
universal
 
é
 
uma
 
instância
 
da
 
lógica
 
proposicional
 
que,
 
quando
 
encontrado
 
em
 
uma
 
declaração,
 
determina
 
a
 
leitura
 
“para
 
todo”,
 
“para
 
cada”
 
ou
 
“para
 
qualquer”.
 
Seu
 
símbolo
 
gráfico
 
é
 
um
 
tanto
 
incomum,
 
quando
 
considerado
 
o
 
alfabeto
 
co
nvencional,
 
afinal,
 
trata
-
se
 
de
 
uma
 
letra
 
bastante
 
habitual
 
visualmente,
 
virada
 
de
 
cabeça
 
para
 
baixo.
 
 
Assinale
 
a
 
alternativa
 
que
 
apresenta,
 
de
 
forma
 
correta,
 
a
 
letra
 
em
 
questão
.
 
 
 
a.
 
J.
 
 
b.
 
A.
 
 
c.
 
Z.
 
 
d.
 
T.
 
 
e.
 
M.
 
 
PERGUNTA 3
 
 
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
 
Fundamentos Matemáticos para Computação Semana 1 – Atv. Avaliativa UNIVESP 2023 
 
 
PERGUNTA 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 ?). 
 
Analise as asserções a seguir e a relação proposta entre elas. 
 
I. Instâncias do tipo “todo”, “para todo”, “cada” e “qualquer” pressupõem sempre 
a utilização de . 
 
PORQUE 
 
II. Em contrapartida, emprega-se para denotar instâncias como “algum”, “existe 
um” e “ao menos um”. 
 
Avaliando essas asserções, é correto afirmar que: 
 
 
a. 
as duas asserções são verdadeiras, mas a segunda não justifica a primeira. 
 
b. 
as duas asserções são falsas. 
 
c. 
a primeira asserção é falsa e a segunda é verdadeira. 
 
d. 
a primeira asserção é verdadeira e a segunda é falsa. 
 
e. 
as duas asserções são verdadeiras e a segunda justifica a primeira. 
 
PERGUNTA 2 
 
O quantificador universal é uma instância da lógica proposicional que, quando 
encontrado em uma declaração, determina a leitura “para todo”, “para cada” ou “para 
qualquer”. Seu símbolo gráfico é um tanto incomum, quando considerado o alfabeto 
convencional, afinal, trata-se de uma letra bastante habitual visualmente, virada de 
cabeça para baixo. 
 
Assinale a alternativa que apresenta, de forma correta, a letra em questão. 
 
 
a. 
J. 
 
b. 
A. 
 
c. 
Z. 
 
d. 
T. 
 
e. 
M. 
 
PERGUNTA 3 
 
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