Lógica Computacional - Atividade 4

Prévia do material em texto

24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 1/14
Painel / Cursos / 2023ED - Lógica Computacional - G91-1364EAD1A
/ Unidade 4: Tautologia e Teoria dos Conjuntos - Unidad 4: Tautología y Teoría de los Conjuntos
/ ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional
Iniciado em domingo, 30 abr 2023, 19:16
Estado Finalizada
Concluída em domingo, 30 abr 2023, 19:38
Tempo
empregado
22 minutos 25 segundos
Avaliar 2,4792 de um máximo de 2,5000(99,1668%)
Comentários Parabéns!
https://ava.uniftec.com.br/course/view.php?id=4265
https://ava.uniftec.com.br/course/view.php?id=4265
https://ava.uniftec.com.br/my/
https://ava.uniftec.com.br/course/index.php
https://ava.uniftec.com.br/course/view.php?id=4265
https://ava.uniftec.com.br/course/view.php?id=4265&section=5
https://ava.uniftec.com.br/mod/quiz/view.php?id=245776
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 2/14
Questão 1
Correto
Atingiu 0,2500 de 0,2500
As proposições compostas podem ser classificadas de acordo com o resultado de sua tabela verdade. Dessa forma,
analisa-se os valores lógicos gerados para as combinações dos valores lógicos de suas proposições simples.
Considere as proposições compostas:
Las proposiciones compuestas se pueden clasificar de acuerdo con el resultado de su tabla verdad. De esta forma, se
analizan los valores lógicos generados para las combinaciones de los valores lógicos de sus proposiciones simples.
 
Considere las proposiciones compuestas:
A: (p → q) v ~q
B p ↔q)^ ~(p ↔ q)
C p ↔ q)^ ~(p v q)
E suas tabelas verdade: // Y sus tablas verdad:
 A: (p → q) v ~q
p q p → q ~q  (p → q) v ~q
V V V F V
 V F F V V
 F V V F V
 F F V V V
 
 B: (p ↔q)^ ~(p ↔ q)
p q p ↔ q ~(p ↔ q)  (p ↔q)^ ~(p ↔ q)
V V V F F
 V F F V F
 F V F V F
 F F V F F
 
 C: (p ↔ q)^ ~(p v q)
p q p ↔ q ~(p v q)  (p ↔ q)^ ~(p v q)
V V V F F
 V F F F F
 F V F F F
 F F V V V
 
 Relacione as proposições compostas e as definições com suas classificações: Tautologia, Contradição ou Contigência.
 Relacione las proposiciones compuestas y las definiciones con sus clasificaciones: Tautología, Contradicción o
Contingencia:
Para todas as combinações de valores lógicos das proposições simples, o resultado lógico
da proposição composta é sempre falso (F).

CONTRADIÇÃO // CONTRADICCIÓN
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 3/14
(p → q) v ~q

O resultado lógico da proposição composta depende da combinação de valores lógicos
das proposições simples e pode ora ser verdadeiro (V) e ora ser falso (F).

Para todas as combinações de valores lógicos das proposições simples, o resultado lógico
da proposição composta é sempre verdadeiro (V).

(p ↔q)^ ~(p ↔ q)

(p ↔ q)^ ~(p v q)

TAUTOLOGIA // TAUTOLOGÍA
CONTIGÊNCIA // CONTINGÊNCIA
TAUTOLOGIA // TAUTOLOGÍA
CONTRADIÇÃO // CONTRADICCIÓN
CONTIGÊNCIA // CONTINGÊNCIA
Sua resposta está correta.
A resposta correta é: Para todas as combinações de valores lógicos das proposições simples, o resultado lógico da proposição composta
é sempre falso (F). → CONTRADIÇÃO // CONTRADICCIÓN, (p → q) v ~q → TAUTOLOGIA // TAUTOLOGÍA, O resultado lógico da
proposição composta depende da combinação de valores lógicos das proposições simples e pode ora ser verdadeiro (V) e ora ser falso
(F). → CONTIGÊNCIA // CONTINGÊNCIA, Para todas as combinações de valores lógicos das proposições simples, o resultado lógico da
proposição composta é sempre verdadeiro (V). → TAUTOLOGIA // TAUTOLOGÍA, (p ↔q)^ ~(p ↔ q) → CONTRADIÇÃO //
CONTRADICCIÓN, (p ↔ q)^ ~(p v q) → CONTIGÊNCIA // CONTINGÊNCIA.
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 4/14
Questão 2
Parcialmente correto
Atingiu 0,2292 de 0,2500
As proposições compostas podem ser classificadas
conforme o resultado de valores lógicos que possuem para
as combinações de valores de suas proposições simples.
Dessa forma, uma proposição composta pode ser:
Tautologia, quando o seu resultado lógico é sempre
verdadeiro, independente dos valores lógicos das
proposições simples que a compõe;
Contradição, quando o seu resultado lógico é
sempre falso, independente dos valores lógicos das
proposições simples que a compõe; ou
Contingência, quando o seu resultado lógico pode
ser verdadeiro ou falso, e isso depende dos valores
lógicos das proposições simples que a compõe.
Analise as proposições e as classifique:
[dica: construa a tabela verdade das proposições]
Las proposiciones compuestas se pueden clasificar según el
resultado de los valores lógicos que poseen para las
combinaciones de valores de sus proposiciones simples.
 
De esta forma, una proposición compuesta puede ser:
 
Tautología, cuando su resultado lógico es siempre
verdadero, independiente de los valores lógicos de las
proposiciones simples que la componen;
Contradicción, cuando su resultado lógico es
siempre falso, independiente de los valores lógicos de
las proposiciones simples que la componen; o
Contingencia, cuando su resultado lógico puede ser
verdadero o falso, y eso depende de los valores lógicos
de las proposiciones simples que la componen.
 
Analice las proposiciones y las clasifique:
[consejo: construye la tabla verdad de las proposiciones]
 
 
 
(p → q) ^ ~(~p ∨ q) 
p ^ ~p 
p ↔ q 
(q ^ p) → (p → q) 
p → q 
(p v q) ^ ~(p v q) 
(p ↔ q) → (p → q) ∧(q → p) 
(p ^ q) v ~(p ^ q) 
(p → q) → (~p ∨ q) 
(p ^ q) → (p → q) 
p ^ q 
p v q 
CONTRADIÇÃO // CONTRADICCIÓN
CONTRADIÇÃO // CONTRADICCIÓN
CONTINGÊNCIA // CONTINGENCIA
TAUTOLOGIA // TAUTOLOGÍA
CONTINGÊNCIA // CONTINGENCIA
CONTRADIÇÃO // CONTRADICCIÓN
TAUTOLOGIA // TAUTOLOGÍA
TAUTOLOGIA // TAUTOLOGÍA
CONTRADIÇÃO // CONTRADICCIÓN
TAUTOLOGIA // TAUTOLOGÍA
CONTINGÊNCIA // CONTINGENCIA
CONTINGÊNCIA // CONTINGENCIA
Sua resposta está parcialmente correta.
Você selecionou corretamente 11.
A resposta correta é: (p → q) ^ ~(~p ∨ q) → CONTRADIÇÃO // CONTRADICCIÓN, p ^ ~p → CONTRADIÇÃO //
CONTRADICCIÓN, p ↔ q → CONTINGÊNCIA // CONTINGENCIA, (q ^ p) → (p → q) → TAUTOLOGIA // TAUTOLOGÍA, p → q
→ CONTINGÊNCIA // CONTINGENCIA, (p v q) ^ ~(p v q)
→ CONTRADIÇÃO // CONTRADICCIÓN, (p ↔ q) → (p → q) ∧(q → p) → TAUTOLOGIA // TAUTOLOGÍA, (p ^ q) v ~(p
^ q) → TAUTOLOGIA // TAUTOLOGÍA, (p → q) → (~p ∨ q) → TAUTOLOGIA // TAUTOLOGÍA, (p ^ q) → (p → q) →
TAUTOLOGIA // TAUTOLOGÍA, p ^ q → CONTINGÊNCIA // CONTINGENCIA, p v q → CONTINGÊNCIA // CONTINGENCIA.
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 5/14
Questão 3
Correto
Atingiu 0,2500 de 0,2500
Duas proposições são equivalentes quando geram o
mesmo resultado lógico para todas as combinações
possíveis de valores lógicos das proposições simples
que a compõe.
Através da equivalência entre proposições é possível
provar que declarações diferentes possuem os
mesmos valores lógicos.
Algumas propriedades úteis, para verificar a
equivalência, são: comutativa, associativa e
distributiva. Elas são propriedades da conjunção (^)
e da disjunção (v).
Pela propriedade comutativa, se sabe que é possível
alterar a ordem das proposições:
p ^ q equivale q ^ p
p v q equivale q v p
Pela propriedade associativa, se sabe que é possível
agrupar pares da mesma operação:
(p ^ q) ^ r equivale p ^ (q ^ r)
(p v q) v r equivale p v (q v r)
 Pela propriedade distributiva, se sabe que é possível
distribuir uma operaçãoquando se trabalhar com
disjunção e conjunção juntas:
Dos proposiciones son equivalentes cuando generan el mismo
resultado lógico para todas las combinaciones posibles de valores
lógicos de las proposiciones simples que la componen.
 
A través de la equivalencia entre proposiciones es posible probar
que declaraciones diferentes poseen los mismos valores lógicos.
 
Algunas propiedades útiles, para verificar la equivalencia, son:
conmutativa, asociativa y distributiva. Ellas son propiedades de
la conjunción (^) y de la disyunción (v).
 
Por la propiedad conmutativa, se sabe que es posible alterar el
orden de las proposiciones:
 
p ^ q equivale q ^ p
p v q equivale q v p
 
Por la propiedad asociativa, se sabe que es posible agrupar
pares de la misma operación:
 
(p ^ q) ^ r equivale p ^ (q ^ r)
(p v q) v r equivale p v (q v r)
 
Por la propiedad distributiva, se sabe que es posible:
 
Com base na definição de equivalência e nas propriedades apresentadas, analise as equivalências e especifique se estão
corretas ou não.
Con base en la definición de equivalencia y en las propiedades presentadas, analice las equivalencias y especifique si son
correctas o no.
(p ^ q) v r equivale p ^ (q v r) 
(p v q) v (r v s) equivale p v (q v r) v s 
(p ^ ~q) equivale a (~p ^ q) 
(p ^ q) v r equivale (p v r) ^ (q v r) 
(p ^ q) v (r ^ s) equivale (r ^ s) v (p ^ q) 
(p ^ q) v (r ^ s) equivale p ^ (q v r) ^ s 
ERRADO // INCORRECTO
CORRETO // CORRECTO
ERRADO // INCORRECTO
CORRETO // CORRECTO
CORRETO // CORRECTO
ERRADO // INCORRECTO
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 6/14
Questão 4
Correto
Atingiu 0,2500 de 0,2500
Sua resposta está correta.
A resposta correta é: (p ^ q) v r equivale p ^ (q v r) → ERRADO // INCORRECTO, (p v q) v (r v s) equivale p v (q v r) v s → CORRETO //
CORRECTO, (p ^ ~q) equivale a (~p ^ q) → ERRADO // INCORRECTO, (p ^ q) v r equivale (p v r) ^ (q v r) → CORRETO // CORRECTO, (p ^
q) v (r ^ s) equivale (r ^ s) v (p ^ q) → CORRETO // CORRECTO, (p ^ q) v (r ^ s) equivale p ^ (q v r) ^ s → ERRADO // INCORRECTO.
A equivalência entre proposições é uma importante ferramenta analítica, pois permite analisar diferentes declarações e
identificar suas equivalências ou não.
Considere a tabela verdade:
La equivalencia entre proposiciones es una importante herramienta analítica, pues permite analizar diferentes
declaraciones e identificar sus equivalencias o no.
Considere la tabla verdad:
p q ~p ~q p → q ~(p → q) ~p v q p ^ ~q
V V F F V F V F
V F F V F V F V
F V V F V F V F
F F V V V F V F
 
Analise as afirmativas: 
I. p → q é equivalente à ~p v q
II. ~(p → q) é equivalente à p ^ ~q
III. A negação de (~p v q) é equivalente à p ^ ~q
É verdade apenas o que se afirma em:
Analice las afirmaciones:
I. p → q es equivalente a ~ p v q.
II. ~(p → q) es equivalente a p ^ ~ q
III. La negación de (~ p v q) es equivalente a p ^ ~ q
Es verdad sólo lo que se afirma en:
 
 
 
Escolha uma opção:
II e III
III
I, II e III
II
I
Sua resposta está correta.
A resposta correta é: I, II e III
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 7/14
Questão 5
Correto
Atingiu 0,2500 de 0,2500
Considere as proposições simples:
p: Maria estuda bastante.
q: Maria tira boas notas.
Também considere as proposições compostas:
X: Se Maria estuda bastante então ela tira boas notas.
Y: Maria estuda bastante e não tira boas notas.
Z: Maria não estuda bastante ou tira boas notas.
Analise as afirmativas:
I. A proposição X é equivalente à proposição Z
II. A negação da proposição X é equivalente
à proposição Y
III. A proposição Y é a negação da proposição Z
É verdade apenas o que se afirma em:
Considere las proposiciones simples:
p: María estudia bastante.
q: María saca buenas notas.
También considere las proposiciones compuestas:
X: Si María estudia bastante entonces ella saca buenas notas.
Y: María estudia bastante y no saca buenas notas.
Z: María no estudia bastante o saca buenas notas.
Analice las afirmaciones:
I. La proposición X es equivalente a la proposición Z
II. La negación de la proposición X es equivalente a la
proposición Y
III. La proposición Y es la negación de la proposición Z
Es verdad sólo lo que se afirma en:
 
 
Escolha uma opção:
III
II
I
II e III
I, II e III
Sua resposta está correta.
A resposta correta é: I, II e III
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 8/14
Questão 6
Correto
Atingiu 0,2500 de 0,2500
Considere que p → q é equivalente à (~p v q).
Considere que p ↔ q é equivalente à (p → q) ^ (q → p),
portanto é equivalente à (~p v q) ^ (~q v p).
Considere que por De Morgan, a negação de (~p v q) é ~
(~p v q) que é ~~p ^ ~q, que é (p ^ ~q).
Considere que por De Morgan, a negação de (~q v p) é ~
(~q v p) que é ~~q ^ ~p, que é (q ^ ~p).
Verifique a tabela verdade:
 
Considere que p → q es equivalente a (~p v q).
 Considere que p ↔ q es equivalente a (p → q) ^ (q →
p), por lo tanto es equivalente a (~p v q) ^ (~q v p).
 Considere que por De Morgan, la negación de (~p v q) é ~
(~p v q) que es ~~p ^ ~q, que es (p ^ ~q).
 Considere que por De Morgan, la negación de (~q v p) é ~
(~q v p) que es ~~q ^ ~p, que es (q ^ ~p).
 Compruebe la tabla verdad:
 
 
 
p q p ↔ q (~p v q) (~q v p) (~p v q) ^ (~q v p) ~(p ↔ q) (p ^ ~q) v (q ^ ~p)
V V V V V V F F
V F F F V F V V
F V F V F F V V
F F V V V V F F
Analise as afirmativas:
I. A negação de p ↔ q é equivalente à (p ^ ~q) v (q ^ ~p)
II. A negação de (~p v q) ^ (~q v p) é equivalente à (p ^
~q) v (q ^ ~p)
III. A bicondicional somente tem resultado verdadeiro
quando as proposições simples possuem valores iguais.
É verdade apenas o que se afirma em:
Analice las afirmaciones:
 
I. La negación de p ↔ q es equivalente a (p ^ ~q) v (q ^
~p)
 
II. La negación de (~p v q) ^ (~q v p) es equivalente a (p
^ ~q) v (q ^ ~p)
 
III. La bicondicional sólo tiene resultado verdadero cuando
las proposiciones simples poseen valores iguales.
 
Es verdad sólo lo que se afirma en:
 
 
 
 
Escolha uma opção:
II e III
II
I, II e III
III
I
Sua resposta está correta.
A resposta correta é: I, II e III
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 9/14
Questão 7
Correto
Atingiu 0,2500 de 0,2500
Considere as proposições simples:
p: Joaquim compra recursos.
q: Maria prepara a festa.
Se sabemos que é falsa a frase:
Joaquim compra recursos se e somente se Maria prepara
a festa.
É verdade:
Considere las proposiciones simples:
 p: Joaquim compra recursos.
 q: María prepara la fiesta.
Si sabemos que es falsa la frase:
Joaquim compra recursos si y sólo si María prepara la
fiesta.
Es verdad:
 
 
 
 
Escolha uma opção:
Joaquim não compra recursos ou Maria prepara a festa, e Maria não prepara a festa ou Joaquim compra recursos. 
Joaquim no compra recursos o María prepara la fiesta, y María no prepara la fiesta o Joaquim compra recursos.
Se Joaquim não compra recursos então Maria prepara a festa, e se Maria não prepara a festa então Joaquim
compra recursos. 
Si Joaquín no compra recursos entonces María prepara la fiesta, y si María no prepara la fiesta entonces Joaquim
compra recursos.
Joaquim compra recursos e Maria não prepara a festa, ou Maria prepara a festa e Joaquim
não compra recursos. 
Joaquim compra recursos y María no prepara la fiesta, o María prepara la fiesta y
Joaquim no compra recursos.
 A negação de (p
↔ q) é
(p ^ ~q) v (q ^
~p)
La negación de
(p ↔ q) es(p ^ ~q) v (q ^ ~p)
Joaquim compra recursos e Maria não prepara a festa, e Maria prepara a festa e Joaquim não compra recursos. 
Joaquim compra recursos y María no prepara la fiesta, y María prepara la fiesta y Joaquim no compra recursos.
Se Joaquim compra recursos então Maria não prepara a festa, e se Maria prepara a festa então Joaquim não
compra recursos. 
Si Joaquim compra recursos entonces María no prepara la fiesta, y si María prepara la fiesta entonces Joaquim no
compra recursos.
Sua resposta está correta.
A resposta correta é: Joaquim compra recursos e Maria não prepara a festa, ou Maria prepara a festa e Joaquim não
compra recursos. 
Joaquim compra recursos y María no prepara la fiesta, o María prepara la fiesta y Joaquim no compra recursos.
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 10/14
Questão 8
Correto
Atingiu 0,2500 de 0,2500
Considere os seguintes conjuntos:
M: conjunto de músicos.
C: conjunto de cantores.
F: conjunto de pessoas felizes.
E considere as seguintes informações (verdadeiras) sobre
as relações entre esses conjuntos e sua quantidade de
elementos:
M ∩ F ∩ C possui 30 elementos
M ∩ F possui 50 elementos
F ∩ C possui 40 elementos
M ∩ C possui 45 elementos
M U F U C possui 120 elementos
M possui 70 elementos
F possui 75 elementos
C possui 80 elementos
De acordo com essas informações pode-se afirmar:
I. A intersecção entre músicos, cantores e pessoas felizes é
vazia.
II. A quantidade de músicos que não é cantor e nem é feliz
é 5.
III. A quantidade de pessoas felizes que não é cantor e
nem músico é 20.
IV. A quantidade de cantores que não são músicos e nem
pessoas felizes é 25.
Considere los siguientes conjuntos:
 
M: conjunto de músicos.
C: conjunto de cantantes.
F: conjunto de personas felices.
 
Y considere las siguientes informaciones (verdaderas) sobre
las relaciones entre estos conjuntos y su cantidad de
elementos: 
 
M ∩ F ∩ C tiene 30 elementos 
M ∩ F tiene 50 elementos 
F ∩ C tiene 40 elementos 
M ∩ C tiene 45 elementos 
M U F U C tiene 120 elementos 
M tiene 70 elementos 
F tiene 75 elementos 
C tiene 80 elementos
 
De acuerdo con estas informaciones, analice las
afirmaciones:
 
I. La intersección entre músicos, cantantes y personas felices
está vacía.
 
II. La cantidad de músicos que no es cantante y ni es feliz es
5.
 
III. La cantidad de personas felices que no es cantante y ni
músico es 20.
 
IV. La cantidad de cantantes que no son músicos y ni
personas felices es 25.
 
Es verdad sólo o que se afirma en:
 
 
 
 
Escolha uma opção:
II e IV
III e IV
I e IV
I e III
II e III
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 11/14
Sua resposta está correta.
A resposta correta é: II e IV
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 12/14
Questão 9
Correto
Atingiu 0,2500 de 0,2500
Quando se escreve uma proposição, alguns termos
definem a sua estrutura.
Por exemplo, se escrevermos:
p: Os dias são ensolarados.
Estamos especificando uma proposição simples, que pode
ser referenciada por p.
Agora se escrevermos: Todos os dias são ensolarados.
Estamos associando um quantificados à proposição, o
quantificador universal TODOS (∀). Isso indica que para
qualquer dia é verdade que "Os dias são ensolarados".
Portanto, se pode escrever: ∀ p
Por outro lado, se escrevermos: Existem dias que são
ensolarados. Estamos associando o quantificador
existencial (∃) à proposição. Isso indica que para alguns
dias é verdade que "Os dias são ensolarados'.
Portanto, se pode escrever: ∃ p
O quantificador universal define uma regra que vale para
todos os elementos do conjunto considerado (no nosso
exemplo dias), já o quantificador existencial define uma
regra que vale para alguns elementos do conjunto
considerado.
Assim como podemos negar proposições (simples ou
compostas), o que inverte o seu valor lógico, também é
possível negar expressões que utilizam quantificadores:
negação ∀p
é equivalente à ∃ ~p
negação ∃p
é equivalente à ∀~p
Logo:
A negação da declaração: Todos os dias são
ensolarados. 
Existem dias que não são ensolarados
A negação da declaração: Existem dias que são
ensolarados.
Todos os dias não são ensolarados
A proposição que vem depois do quantificador (universal
ou existencial) pode ser simples ou composta.
Assim, considere as proposições:
p: Gatos são fofinhos.
q: Gatos ronronam.
E, a proposição composta:
X: Os gatos são fofinhos e ronronam.
Agora considere a seguinte declaração:
Todos os gatos são fofinhos e ronronam.
Se essa declaração for falsa, então é verdade que:
Cuando se escribe una proposición, algunos términos
definen su estructura.
 Por ejemplo, si escribimos:
  p: Los días son soleados.
 Estamos especificando una proposición simple, que puede
ser referenciada por p.
 Ahora si escribimos: Todos los días son soleados. Estamos
asociando un cuantificado a la proposición, el cuantificador
universal TODOS (∀). Esto indica que para cualquier día es
verdad que "los días son soleados".
 Por lo tanto, se puede escribir: ∀ p
 Por otro lado, si escribimos: Existen días que son
soleados. Estamos asociando el cuantificador existencial (∃)
a la proposición. Esto indica que para algunos días es verdad
que "los días son soleados".
 Por lo tanto, se puede escribir: ∃ p
 El cuantificador universal define una regla que vale
para todos los elementos del conjunto considerado (en
nuestro ejemplo días), ya que el cuantificador
existencial define una regla que vale para algunos
elementos del conjunto considerado.
Así como podemos negar proposiciones (simples o
compuestas), lo que invierte su valor lógico, también es
posible negar expresiones que utilizan cuantificadores:
negación ∀ p
 es equivalente a la ∃ ~ p
 negación ∃ p
 es equivalente a la ∀ ~ p
Se percibe que la negación de una proposición que utiliza un
cuantificador, invierte el cuantificador y niega la
proposición.
Por lo tanto:
La negación de la declaración: Todos los días son
soleados.
Existen días que no son soleados
La negación de la declaración: Existen días que son
soleados.
Todos los días no son soleados
La proposición que viene después del cuantificador
(universal o existencial) puede ser simple o compuesta.
 Así pues, considere las proposiciones:
 p: Los gatos son dóciles.
q: Gatos ronronean.
Y, la proposición compuesta:
X: Los gatos son dóciles y ronronean.
 Ahora considere la siguiente declaración:
 Todos los gatos son dóciles y ronronean.
 Si esta declaración es falsa, entonces es verdad que: 
dia
dia
dia
dia
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=245776 13/14
 
 
Escolha uma opção:
Não é verdade que todos os gatos não são fofinhos ou não ronronam. // 
No es verdad que todos los gatos no son dóciles o no ronronean.
 
 
 
Existem gatos que não são fofinhos e não ronronam. // Hay gatos que no son dóciles y no ronronean.
Existem gatos que não são fofinhos ou não ronronam. // Hay gatos que no son dóciles o no ronronean.
Todos os gatos não são fofinhos ou não ronronam. // Todos los gatos no son dóciles o no ronronean.
Existem gatos que são fofinhos e ronronam. // Existen gatos que son dóciles y ronronean.
Sua resposta está correta.
A resposta correta é: Existem gatos que não são fofinhos ou não ronronam. // Hay gatos que no son dóciles o
no ronronean.
24/11/2023, 09:59 ATIVIDADE AVALIATIVA 4// ACTIVIDAD EVALUATIVA 4 - Lógica Computacional: Revisão da tentativa
https://ava.uniftec.com.br/mod/quiz/review.php?attempt=62520&cmid=24577614/14
Questão 10
Correto
Atingiu 0,2500 de 0,2500
Considere que:
Todo X é Y.
Todo Y é Z.
Todo W é Y.
Analise as afirmativas:
I. Todo W é X. 
II. Todo Z é W. 
III. Todo X é Z. 
IV. Todo W é Z.
V. Existe Z que não é Y.
VI. Existe Y que não é W.
É verdade apenas o que se afirma em:
Considere que:
 
Todo X es Y.
Todo Y es Z.
Todo W es Y.
 
Analice las afirmaciones:
 
I. Todo W es X.
 
II. Todo Z es W.
 
III. Todo X es Z.
 
IV. Todo W es Z.
 
V. Hay Z que no es Y.
 
VI. Hay Y que no es W.
 
Es verdad sólo lo que se afirma en:
 
 
 
 
Escolha uma opção:
II, III, IV, V
III, IV
I, II
I, II, III, IV
III, IV, V, VI
Sua resposta está correta.
A resposta correta é: III, IV, V, VI