Universo (1)

U:= {x | x é um time que participou da fase final da Champions League 2019/20}

*Obs:. A fase final da Champions League engloba oitavas de final, quartas de final, semifinal e final.

U := times que participaram da fase final da Champions League de 2019/20

● T := times que já foram campeões de outras edições da Champions League e

participaram da fase final da Champions League 2019/20
● I := times da Espanha que participaram da fase final da Champions League 2019/20
● H := times da Inglaterra que participaram da fase final da Champions League 2019/20

U = {Atlético de Madrid, Chelsea, Liverpool, Borussia, PSG, Atalanta, Valencia, Tottenham,

RB Leipzig, Bayern, Napoli, Barcelona, Lyon, Juventus, Real Madrid, Manchester City}

● T = {Real Madrid, Juventus, Bayern, Borussia, Liverpool, Barcelona, Chelsea}

● I = { Real Madrid, Atlético de Madrid, Valencia, Barcelona}
● H = {Liverpool, Chelsea, Tottenham, Manchester City}

Família de Conjuntos (2)

U:= {{T}, {I}, {H}}

Subconjuntos (3)
T:={x | x ∈ U e x ∈ T }
I := {x | x ∈ U e x ∈ I }
H := {x | x ∈ U e x ∈ H }

Conjuntos das Partes (Sintética) (4)

P(T) = {x | x ∈ T}
P(I) = {x | x ∈ I}
P(H) = {x | x ∈ H}
Conjuntos das Partes (Tabular) (5)

P(T) = {{}, {Real Madrid}, {Chelsea, Juventus}, {Liverpool}, {Bayern}, {Juventus},

{Borussia}, {Real Madrid, Bayern}, ...}

P(I) = {{}, {Atlético de Madrid}, {Valencia}, {Barcelona}, {Barcelona, Valencia}, {Real

Madrid}, {Real Madrid, Valencia}, {Atlético de Madrid, Barcelona}, …}

P(H) = {{}, {Tottenham}, {Liverpool}, {Chelsea}, {Manchester City}, {Liverpool,

Chelsea}, {Tottenham, Liverpool}, {Tottenham, Chelsea}, …}
 Interpretação Conjunto das Partes (6)

P(T) = {Real Madrid, Bayern} = Times que já foram campeões da Champions League mais
de duas vezes.

P(I) = {Barcelona, Real Madrid} = Times da Espanha que já participaram do Mundial de

Clubes.

P(H) = {Manchester City, Liverpool} = Times da Inglaterra que já foram campeões da

Premier League.

Cardinalidade do C. das Partes (7)

P(T) = 2^7 =128
P(I) = 2^4 = 16
P(H) = 2^4 = 16

Complementar (8)

C(T) = {x | x ∈ U e x ∉ T}
Os times que participaram da fase final da Champions League 2019/20 que nunca foram
campeões de outras edições da Champions.

C(I) = {x | x ∈ U e x ∉ I}
Os times que participaram da fase final da Champions League 2019/20 que não são da
Espanha.

C(H) = {x | x ∈ U e x ∉ H}
Os times que participaram da fase final da Champions League 2019/20 que não são da
Inglaterra.

Interseção (9)

I ∩ T = {x | x ∈ I e x ∈ T}
Os times da Espanha que participaram da fase final da Champions League 2019/20 e já
foram campeões de outras edições da Champions League.

H ∩ T = {x | x ∈ H e x ∈ T}
Os times da Inglaterra que participaram da fase final da Champions League 2019/20 e já
foram campeões de outras edições da Champions League.

H ∩ I = {x | x ∈ H e x ∈ I}
Os times que são da Inglaterra e da Espanha que participaram da fase final da Champions
League 2019/20.
I ∩ H ∩ T = {x | x ∈ I e x ∈ H e x ∈ T}
Os times que são da Inglaterra e da Espanha e que foram campeões de outras edições da
Champions, que participaram da fase final da Champions League 2019/20.

União (10)

I ∪ T = {x | x ∈ I ou x ∈ T}
Os times da Espanha que participaram da fase final da Champions League 2019/20 ou
foram campeões de outras edições desta competição.

H ∪ T = {x | x ∈ H ou x ∈ T}
Os times da Inglaterra que participaram da fase final da Champions League 2019/20 ou
foram campeões de outras edições da Champions League.

I ∪ H = {x | x ∈ I ou x ∈ H}
Os times da Espanha ou da Inglaterra que participaram da fase final da Champions League
2019/20.

I ∪ H ∪ T = {x | x ∈ I ou ∈ H ou x ∈ T}
Os times da Espanha ou da Inglaterra ou que foram campeões de outras edições da
Champions, que participaram da fase final da Champions League 2019/20.

Diferença (11)

I - H = {x | x ∈ I e x ∉ H}
Os times da Espanha que participaram da fase final da Champions League 2019/20.

H - I = {x | x ∈ H e x ∉ I}
Os times da Inglaterra que participaram da fase final da Champions League 2019/20.

T - I = {x | x T ∈ e x ∉ I}
Todos os times que foram campeões de outras edições da Champions e os times que não são
da Espanha, que participaram da fase final da Champions League 2019/20.

I - T = {x | x ∈ I e x ∉ T}
Os times da Espanha que participaram da fase final da Champions League 2019/20 que
nunca foram campeões desta competição.
H - T = {x | x ∈ H e x ∉ T}
Os times da Inglaterra que participaram da fase final da Champions League 2019/20 que
nunca foram campeões desta competição.

T - H = {x | x ∈ T e x ∉ H}
Todos os times que foram campeões de outras edições da Champions e os times que não são
da Inglaterra, que participaram da fase final da Champions League 2019/20.

T-H-I = {x | x ∈ T e x ∉ H ou x ∉ I} = T - (H∪I)
Todos os times que foram campeões de outras edições da Champions e os times que não são
da Inglaterra nem são da Espanha, que participaram da fase final da Champions League
2019/20.

I-T-H = {x | x ∈ I e x ∉ H ou x ∉ T} = I - (H∪T)
Todos os times são da Espanha e nunca foram campeões de outras edições da Champions e
nem são da Inglaterra, que participaram da fase final da Champions League 2019/20.

H-T-I = {x | x ∈ H e x ∉ T ou x ∉ I} = H - (T∪I)
Todos os times são da Inglaterra e nunca foram campeões de outras edições da Champions
e nem são da Espanha, que participaram da fase final da Champions League 2019/20.

12) Diferença Simétrica

H ∆ I = {x | (x ∈ H e x ∉ I) ou (x ∈ I e x ∉ H)}= (H∪I) - (I∩H)

Todos os times da Inglaterra e todos os times da Espanha que participaram da fase final da
Champions League 2019/20.

I ∆ T = {x | (x ∈ I e x ∉ T) ou (x ∈ T e x ∉ I)} = (I∪T) - (T∩I)

Os times da Espanha e os times que já foram campeões de outras edições da Champions,
que participaram da fase final da Champions League 2019/20.

T ∆ H = {x | (x ∈ T e x ∉ H) ou (x ∈ H e x ∉ T)} = (T∪H) - (H∩T)

Os times que já foram campeões de outras edições da Champions e os times da Inglaterra,
que participaram da fase final da Champions League 2019/20.

T ∆ H ∆ I = {x | (x ∈ T e x ∉ H e x ∉ I) ou (x ∈ I e x ∉ T e x ∉ H) ou (x
∈ H e x ∉ I e x ∉ T) } = (I∪H∪T) - ((I∩T∩H)
Os times que já foram campeões de outras edições da Champions e os times da Inglaterra e
os times da Espanha, que participaram da fase final da Champions League 2019/20.

13) Card. Princípio Inc. Excl.(União)

|I ∪ T| = |I| + |T| - |I ∩ T| = 4 + 7 - 2 = 9
|H ∪ T| = |H| + |T| - |H ∩ T| = 4 + 7 - 2 = 9
|I ∪ H| = |I| + |H| - |I ∩ H| = 4 + 4 - 0 = 8
|I ∪ H ∪ T| = |I| + |H| + |T| - |I ∩ T| - |I ∩ H| - |H - T| + |I ∩ H ∩ T|
= 4 + 4 + 7 - 2 - 0 - 2 + 0 = 11

14) Card. Princípio Inc.Excl.(Diferença) (D.Simétrica)

|I - T| = |I| - |I ∩ T| = 4 - 2 = 2
|T - I| = |T| - |T ∩ I| = 7 - 2 = 5
|I - H| = |I| - |I ∩ H| = 4 - 0 = 4
|H - I| = |H| - |H ∩ I| = 4 - 0 = 4
|T - H| = |T| - |T ∩ H| = 7 - 2 = 5
|H - T| = |H| - |H ∩ T| = 4 - 2 = 2
|T-H-I| = ((|T| - |T ∩ H|) - (|I| ∩ (|T| - |T ∩ H|))) = 5 - 2 = 3
|I-T-H| = ((|I| - |I ∩ T|) - (|H| ∩ (|I| - |I ∩ T|))) = 2 - 0 = 2
|H-T-I| = ((|H| - |H ∩ T|) - |I| ∩ (|H| - |T ∩ H|))) = 2 - 0 = 2

|H ∆ I| = |(H∪I) - (I∩H)| = 8 - 0 = 8
|T ∆ I| = |(T∪I) - (T∩I)| = 11 - 2 = 9
|T ∆ H| = |(T∪H) - (T∩H)| = 11 - 2 = 9
|T ∆ H ∆ I| = |(T∆H) ∆ I| = (|(T∪H) - (T∩H)| ∪ I) - (|T∪H) - (T∩H)| ∩
I)|) = 13 - 2 = 11

15) Diagrama de Venn

C(T) - Complementar C(I) - Complementar

U U
Valencia
Chelsea T Chelsea I
Real Madrid Valencia Real Madrid
Tottenham
Liverpool
Lyon Atlético de Madrid
Bayern Liverpool
Barcelona
Barcelona
RB Leipzig
Juventus Lyon
Atlético de Madrid RB Leipzig
Napoli Atalanta Atalanta
Napoli

C(H) - Complementar

U
Chelsea
H Valencia

Tottenham Real Madrid

Liverpool Atlético de Madrid

Manchester City Barcelona
Lyon
Juventus
RB Leipzig Atalanta
Napoli
I∩ T H∩T

T U H U
Chelsea I Tottenham T
Real Liverpool
Madrid V Valencia Barcelona
Bayern
Chelsea
V
Barcelona Atlético de Juventus
Liverpool Manchester City
Madrid Real Madrid
Lyon Lyon

RB Leipzig Atalanta Atlético de RB Leipzig Atalanta

Napoli Madrid Napoli

H ∩ I
I∩H∩T
U
H I
U
H I Tottenham Valencia
Valencia
Real
Chelsea Manchester Chelsea Madrid onaAtlético
Tottenham Real Madrid City Barcel de Madrid
Liverpool
Liverpool Atlético de Madrid Borussia Lyon
Manchester City Juventus TAtalanta
Barcelona
RB Leipzig
Lyon Napoli
Juventus
RB Leipzig Atalanta
Napoli

I∪T H∪T

T U H U
Chelsea I Tottenham T
Real Liverpool
Madrid V Valencia Barcelona
Bayern
Chelsea
V
Barcelona Atlético de Juventus
Liverpool Manchester City
Madrid Real Madrid
Lyon Lyon

RB Leipzig Atalanta Atlético de RB Leipzig Atalanta

Napoli Madrid Napoli
I∪H I∪H∪T

U U
H I H I
Valencia
Chelsea Tottenham Valencia
Tottenham Real Madrid Real
Manchester Chelsea Madrid Atlético
Liverpool Atlético de Madrid City Barcelona de Madrid
Manchester City Barcelona
Borussia T
Lyon Juventus Atalanta Lyon
Juventus
RB Leipzig Atalanta RB Leipzig
Napoli Napoli

I-H H-I

U U
H I H I
Valencia Valencia
Chelsea Chelsea
Tottenham Real Madrid Tottenham Real Madrid

Liverpool Atlético de Madrid Liverpool Atlético de Madrid

Manchester City Barcelona Manchester City Barcelona
Lyon Lyon
Juventus Juventus
RB Leipzig Atalanta RB Leipzig Atalanta
Napoli Napoli

H-T T-H

H U H U
Tottenham T Tottenham T
Liverpool Liverpool
Barcelona Barcelona
Chelsea
V Chelsea
V
Juventus Juventus
Manchester City Manchester City
Real Madrid Real Madrid
Lyon Lyon

Atlético de RB Leipzig Atalanta Atlético de RB Leipzig Atalanta

Madrid Napoli Madrid Napoli
I-T T-I

T U T U
Chelsea I Chelsea I
Real Real
Bayern Madrid V Valencia Bayern Madrid V Valencia
Liverpool Barcelona Atlético de Liverpool Barcelona Atlético de
Madrid Madrid
Lyon Lyon

RB Leipzig Atalanta RB Leipzig Atalanta

Napoli Napoli

T-H-I

U
U H I
H I Tottenham Valencia
Real
Tottenham Valencia Manchester Chelsea Madrid Atlético
Real City Barcelona de Madrid
Manchester Chelsea Madrid Atlético
City Barcelona de Madrid Borussia T
Juventus Atalanta Lyon
Borussia T RB Leipzig
Juventus Atalanta Lyon Napoli
RB Leipzig
Napoli
H-T-I

I-T-H

U
H I
Tottenham Valencia
Real
Manchester Chelsea Madrid Atlético
City Barcelona de Madrid

Borussia T
Juventus Atalanta Lyon
RB Leipzig
Napoli
I∆H T∆I

U
H I T U
Chelsea
Valencia
Chelsea I
Real
Tottenham Real Madrid Bayern Madrid V Valencia
Atlético de Madrid Liverpool Barcelona Atlético de
Liverpool
Manchester City Madrid
Barcelona Lyon
Lyon
Juventus
RB Leipzig Atalanta RB Leipzig Atalanta
Napoli Napoli

T∆H T∆H∆I

U
H U H I
Tottenham T Valencia
Liverpool Tottenham
Real
Chelsea
V Barcelona
Juventus Manchester Chelsea Madrid Atlético
Manchester City City Barcelona de Madrid
Real Madrid
Lyon Borussia T
Juventus Atalanta Lyon
Atlético de RB Leipzig Atalanta RB Leipzig
Madrid Napoli Napoli

16) Problema envolvendo princípio da Inclusão e Exclusão

Durante a fase final da Champions League 2019/20, havia 2000 torcedores presentes no
estádio. Cada torcedor apoia, pelo menos, um dos dois times: Real Madrid ou Barcelona.

1200 torcedores apoiam o Real Madrid.

1000 torcedores apoiam o Barcelona.
O número total de torcedores que apoiam o Real Madrid ou Barcelona é de 1800.
Quantos torcedores apoiam ambos os times (Real Madrid e Barcelona)?

A = Real Madrid
B = Barcelona

|A ∪ B| = 1800 (Número total de torcedores que apoiam o Real

Madrid ou Barcelona)
|A| = 1200 (Número de torcedores que apoiam o Real Madrid)
|B| = 1000 (Número de torcedores que apoiam o Barcelona)

|A ∪ B| = |A| + |B| - |A ∩ B|
1800 = 1200 + 1000 - |A ∩ B|

1800 = 2000 - |A ∩ B|
1800 - 2000 = - |A ∩ B|
|A ∩ B| = 200
Portanto, 200 torcedores apoiam ambos os times (Real Madrid e Barcelona) na fase final da
Champions League 2019/20.

17) Diagrama de Venn do problema

U
A B
1200- V
200 1000-
200=1000 200=800

Parte 2 (Lógica)

1) Argumento em linguagem natural

Na Champions League 2019/20, se um time venceu a final, então ele foi campeão. Se um
time foi campeão, ele passou das oitavas de final. Se um time passou das oitavas de final,
então ele passou da fase de grupos. Um time passou pela fase de grupos e venceu a final. O
time foi campeão.

*Obs:. A fase final da Champions League engloba oitavas de final, quartas de final, semifinal e final.

2) Identificando em linguagem natural cada premissa e conclusão

Premissa 1: Se um time venceu a final, então ele foi campeão.

Premissa 2: Se um time foi campeão ele passou das oitavas de final.
Premissa 3: Se um time passou das oitavas de final então ele passou da fase de grupos.
Premissa 4: Um time passou pela fase de grupos e venceu a final.

Conclusão: O time foi campeão.

(c) Identificação das proposições simples:

Premissa 1: Se um time venceu a final, então ele foi campeão.

Proposições simples na Premissa 1:
- r: Um time venceu a final.
- q: Ele foi campeão.

Premissa 2: Se um time foi campeão, ele passou das oitavas de final.

Proposições simples na Premissa 2:
- q: Um time foi campeão.
- s: Ele passou das oitavas de final.

Premissa 3: Um time passou pela fase de grupos e venceu a final.

Proposições simples na Premissa 3:
- t: Um time passou pela fase de grupos.
- r: Ele venceu a final.

Premissa 4: Se um time passou das oitavas de final, então ele passou da fase de grupos.
Proposições simples na Premissa 4:
- s: Um time passou das oitavas de final.
- t: Ele passou da fase de grupos.
Conclusão: O time foi campeão.
Proposição simples na conclusão:
- q: O time foi campeão.

As proposições simples nas premissas são: r, q, s, t, e na conclusão é q.

d) Escreva em linguagem simbólica as proposições simples:

r: Um time venceu a final

s: Um time participou das oitavas de finais
q: Um time foi campeão
t: Um time passou pela fase de grupos.

e) Escreva em linguagem simbólica as premissas e conclusão:

r→q: Se um time venceu a final, então ele foi campeão.

q →s : Se um time foi campeão ele passou das oitavas de final.
s→t: Se um time passou das oitavas de final então ele passou da fase de grupos.
t ∧ r Um time passou pela fase de grupos e venceu a final.

Q - ((r→q)∧(q→s)∧(t∧r)∧(s→t) → q: O time foi campeão.

f) Verifique a validade do argumento de forma direta e indireta

Direta:

P1: r→q
P2: q→s
P3: t ∧ r
P4: s → t
P5: r →s - Silogismo Hipotético em P1 e P2
P6: t - Simplificação Conjuntiva em P3
P7: s - Modus Ponens em P4 e P6
P8: r - Modus Ponens em P5 e P7
P9: q - Modus Ponens em P8 e P1
Q: q

Indireta(contradição):
 ~q
P2: r →~q
P3: ~q →s
P4: t ∧ r
P5 : s→t
P6: t

g) Verifique a validade do argumento utilizando a Tabela-Verdade

r q s t r→q q→s s→t t∧ (r→q) ∧ (r→q) ∧ (q→s) ∧ (r→q)∧(q→s)∧(s→t)

r (q→s) (s→t) ∧(t∧r)

V V V V V V V V V V V

V V V F V V F F V F F

V V F V V F V V F F F

V V F F V F V F F F F

V F V V F V V V F F F

V F V F F V F F F F F

V F F V F V V V F F F

V F F F F V V F F F F

F V V V V V V F V V F

F V V F V V F F V F F

F V F V V F V F F F F

F V F F V F V F F F F

F F V V V V V F V V F

F F V F V V F F V F F

F F F V V V V F V V F

F F F F V V V F V V F
 (2) Apresente dois Argumentos que sejam Silogismos Categóricos

a) Apresente os Silogismos Categóricos em linguagem natural.

Argumento 1: Todos os times que chegaram às finais foram finalistas da Champions League
2019/20. Alguns jogadores chegaram às finais. Portanto, alguns jogadores foram finalistas da
Champions League 2019/20.

Argumento 2: Nenhum time que perdeu na fase de grupos chegou à fase final da Champions
League 2019/20. O Barcelona chegou à fase final da Champions League 2019/20. Portanto, o
Barcelona não perdeu na fase de grupos.

B| Identifique em linguagem natural as premissas e a conclusão de cada Silogismo Categórico.

Argumento 1

Premissa 1: Todos os times que chegaram às finais foram finalistas da Champions League
2019/20.
Premissa 2: Alguns jogadores chegaram às finais.
Conclusão: Portanto, alguns jogadores foram finalistas da Champions League 2019/20.

Argumento 2

Premissa 1: Nenhum time que perdeu na fase de grupos chegou à fase final da Champions
League 2019/20.
Premissa 2: O Barcelona chegou à fase final da Champions League 2019/20.
Conclusão: Portanto, o Barcelona não perdeu na fase de grupos.

c) Classifique o enunciado, premissas e conclusão.

Argumento 1
Premissa 1: Todos os times que chegaram às finais foram finalistas da Champions League
2019/20. (Universal Afirmativo - A)

Premissa 2: Alguns jogadores chegaram às finais. (Particular Afirmativo - I)

Conclusão: Portanto, alguns jogadores foram finalistas da Champions League 2019/20.

(Particular Afirmativo - I)

1° Figura do Silogismo (AII)

MP
S M = SP

Argumento 2

Premissa 1: Nenhum time que perdeu na fase de grupos chegou à fase final da Champions
League 2019/20. (Universal Negativo - E)
Premissa 2: O Barcelona chegou à fase final da Champions League 2019/20. (Particular
Afirmativo - I)
Conclusão: Portanto, o Barcelona não perdeu na fase de grupos. (Particular Negativo - O)

2° Figura do Silogismo (EIO)

PM
SM=SP

d) Identifique as variáveis e as propriedades contidas nas premissas e conclusão.

Argumento 1

Premissa 1: Todos os times que chegaram às finais foram finalistas da Champions

League 2019/20.

Variável: times
Propriedades: Chegaram às finais, Foram finalistas da Champions League 2019/20.

Premissa 2: Alguns jogadores chegaram às finais.

Variável: Jogadores
Propriedades: Chegaram às finais.

Conclusão: Portanto, alguns jogadores foram finalistas da Champions League 2019/20.

Variável: Jogadores
Propriedades: Foram finalistas da Champions League 2019/20.

Argumento 2

Premissa 1: Nenhum time que perdeu na fase de grupos chegou à fase final da
Champions League 2019/20.

Variável: time.
Propriedades: Perdeu na fase de grupos, Chegou à fase final da Champions League 2019/20.

Premissa 2: O Barcelona chegou à fase final da Champions League 2019/20.

Variável: Barcelona.
Propriedades: Chegou à fase final da Champions League 2019/20.

Conclusão: Portanto, o Barcelona não perdeu na fase de grupos.

Variável: Barcelona.
Propriedades: Não perdeu na fase de grupos.

e) Identifique os termos nos enunciados e classifique-os em maior, menor ou médio.

Argumento 1

Premissa 1: Todos os times que chegaram às finais foram finalistas da Champions League
2019/20. (Premissa maior)

Premissa 2: Alguns jogadores chegaram às finais. (Premissa menor)

Conclusão: Portanto, alguns jogadores foram finalistas da Champions League 2019/20.

P: finalistas da Champions League 2019/20. TERMO MAIOR
S: jogadores. TERMO MENOR
M: chegaram às finais. TERMO MÉDIO

Argumento 2.

Premissa 1: Nenhum time que perdeu na fase de grupos chegou à fase final da Champions
League 2019/20. (Premissa maior)

Premissa 2: O Barcelona chegou à fase final da Champions League 2019/20. (Premissa

menor)

Conclusão: Portanto, o Barcelona não perdeu na fase de grupos.

P: perdeu na fase de grupos. TERMO MAIOR

S: Barcelona. TERMO MENOR
M: à fase final da Champions League 2019/20. TERMO MÉDIO

f) Escreva em linguagem simbólica as premissas e a conclusão.

Argumento 1

Premissa 1 (Maior): (∀x)(C(x) → F(x))

Cx= "x chegou às finais da Champions League 2019/20".

Fx = "x foi finalista da Champions League 2019/20".

Premissa 2 (Menor): (∃x)(J(x) ∧ C(x))

Jx= "x é um jogador".

Cx= "x chegou às finais da Champions League 2019/20".

Conclusão: (∃x)F(x)

Fx= "x foi finalista da Champions League 2019/20".

Argumento 2
Premissa 1 (Maior): (∀x)(P(x) → ¬F(x))

P(x)= "x perdeu na fase de grupos da Champions League 2019/20".

F(x)= "x chegou à fase final da Champions League 2019/20".

Premissa 2 (Menor): F(Barcelona)

F(Barcelona)= "Barcelona chegou à fase final da Champions League 2019/20".

Conclusão: ¬P(Barcelona)

¬P(Barcelona)= "Barcelona não perdeu na fase de grupos da Champions League 2019/20".

g) Verifique a validade do Argumento especificando as Leis de Equivalências e/ou as Regras de Inferências utilizadas pelo método dedutivo na forma direta

Argumento 1
(∀x)(C(x) → F(x)) ∧ (∃x)(J(x) ∧ C(x)) → (∃x)F(x)

P1. (∀x) (C(x) → F(x)) - Hipótese

P2. (∃x) (J(x) ∧ C(x))- Hipótese
P3. J(a) ∧ C(a) - Instanciação Existencial em (P2)
P4. C(a) → F(a) - Instanciação Universal em (P1)
P5. C(a) - Simplificação Conjuntiva em (P3)
P6. F(a) - Modus Ponens em (P4) e (P5)
P7. (∃x)(F(x)) - Generalização Existencial em (P6)

Argumento 2
(∀x)(P(x) → ¬F(x)) ∧ F(Barcelona) → ¬P(Barcelona)

P1. (∀x)(P(x) → ¬F(x)) - Hipótese

P2. F(Barcelona) - Hipótese
P3. P(Barcelona) → ¬F(Barcelona) - Instanciação Universal em (P1)
P4. ¬P(Barcelona) - Modus Tollens em (P3)
P5. (∀x) ¬P(x) - Generalização Universal em (P4)
 h) Validade do argumento no Diagrama de Venn

Argumento 1 Argumento 2

Finalis U U
tas
Jogador P
Jogad Fina F
ores Comanesis
Cristiano Tiago
Ronaldo Silva Barcelona

Obs:. No diagrama do argumento 2, P = Perdeu na fase de grupos e F = Chegou às finais

Parte 3 - Relações

1) Relação universal e de identidade em A

Conjunto A: Times que participaram da fase final da Champions League 2019/20.

Relação Universal em A:
A relação universal em A seria "todos os times que participaram da fase final também
passaram pela fase de grupos", porque todos os times que chegaram à fase final precisaram
passar pelas etapas anteriores, que incluem a fase de grupos.

Relação Identidade em A:
A relação de identidade em A seria "cada time que participou da fase final é igual a si
mesmo", porque cada time é único e individual, e a relação de identidade afirma que cada
elemento do conjunto A é igual a si mesmo, o que é uma propriedade básica de qualquer
conjunto.

2)Defina uma endorrelação R sobre A e classifique-a em reflexiva, simetrica…

A endorrelação R= "foi eliminado pelo mesmo time". Ou seja, dois times estão
relacionados por R se ambos foram eliminados pelo mesmo time na fase final da Champions
League 2019/20.
 ● Reflexiva: Não é reflexiva, pois um time não pode ser eliminado por si mesmo.
● Irreflexiva: É irreflexiva, pois não há times que se eliminaram a si mesmos.
● Simétrica: Não é simétrica, pois se um time A foi eliminado pelo time B, não
significa que o time B também tenha sido eliminado pelo time A.
● Assimétrica: É assimétrica, pois se o time A foi eliminado pelo time B, o time B não
pode ter sido eliminado pelo time A.
● Anti-simétrica: É anti-simétrica, pois se o time A foi eliminado pelo time B e o time
B foi eliminado pelo time A, então A = B.
● Transitiva: Não é transitiva, pois se o time A foi eliminado pelo time B e o time B
foi eliminado pelo time C, não necessariamente o time A foi eliminado pelo time C.
● Conectada: É conectada, pois todos os times estão relacionados de alguma forma por
R, já que todos eles foram eliminados por algum time na fase final da Champions
League.
● De Equivalência: Não é uma relação de equivalência, pois não é reflexiva e nem
simétrica.

3) Defina um endorrelação S sobre A que seja de equivalência

Considerando a relação S = "mesmo país de origem". Ou seja, dois times estão relacionados
pela relação S se ambos são de origem do mesmo país.

● Reflexividade: Todo time é do mesmo país de origem que ele mesmo.

● Simetria: Se o time A é do mesmo país de origem que o time B, então o time B
também é do mesmo país de origem que o time A.
● Transitividade: Se o time A é do mesmo país de origem que o time B e o time B é do
mesmo país de origem que o time C, então o time A é do mesmo país de origem que o
time C.

4)

R ∪ S:
Conjunto de times que foram eliminados OU são do mesmo país de origem de algum outro
time.

R ∩ S:
Conjunto de times que foram eliminados E são do mesmo país de origem de algum outro
time.

R - S:
Conjunto de times que foram eliminados, mas NÃO são do mesmo país de origem de algum
outro time.

S - R:
Conjunto de times que são do mesmo país de origem de algum outro time, mas NÃO foram
eliminados.

S∆R:
Conjunto de times que foram eliminados OU são do mesmo país de origem de algum outro
time, mas NÃO ambos.

R^-1: Relação inversa de R, ou seja, a relação "foi eliminado por".

S^-1: Relação inversa de S, ou seja, a relação "é do mesmo país de origem que".

R¯: Complemento de R, ou seja, o conjunto de times que NÃO foram eliminados.

S¯: Complemento de S, ou seja, o conjunto de times que NÃO são do mesmo país de origem
de algum outro time.

R◦S: Composição de R e S, ou seja, a relação "foi eliminado por e é do mesmo país de

origem que".

S◦R: Composição de S e R, ou seja, a relação "é do mesmo país de origem que e foi
eliminado por".

R^2:
Composição de R consigo mesma, ou seja, a relação "foi eliminado por duas vezes".

S^2:
Composição de S consigo mesma, ou seja, a relação "é do mesmo país de origem que duas
vezes".

5)

6)
7)
8)
9)
10)

Parte 4 - Combinatória

1)Apresente, de forma clara, um problema combinatório para o qual seja aplicado o

Princípio Aditivo para resolvê-lo.
Suponha que, na fase final da Champions League 2019/20, havia 10 times que chegaram à
fase final, e eles foram divididos em dois grupos: Grupo A e Grupo B. O Grupo A tinha 6
times, e o Grupo B tinha 4 times. Queremos organizar uma partida (um contra o outro, sendo
assim, uma "dupla de times", visto que são dois times em uma partida).

De quantos modos diferentes podemos organizar uma partida entre os grupos A e B?

A := {a1, a2, a3, a4, a5, a6}

B := {b1, b2, b3, b4,}

B(A) = 4(6) = 6 + 6 + 6 + 6 = 24 modos diferentes.

(2) Apresente, de forma clara, um problema combinatório para o qual seja aplicado o
Princípio Fundamental da Contagem para resolvê-lo.

(3) Apresente os problemas definidos nos itens (1) e (2) utilizando o Diagrama da árvore.

(4) Apresente, de forma clara, um problema combinatório para o qual seja aplicado a
Permutação Simples para resolvê-lo.

(5) Apresente, de forma clara, um problema combinatório para o qual seja aplicado a
Permutação Circular para resolvê-lo

(6) Apresente, de forma clara, um problema combinatório para o qual seja aplicado o
Princ´ıpio da Casa dos Pombos para resolvˆe-lo.
(7) Para o mesmo problema do item(6) utilize o (Princípio´ıpio das Gavetas) para resolvˆe-lo,
apresentando as vari´aveis, equa¸c˜ao e a solu¸c˜ao atrav´es da combina¸c˜ao simples.