Lista de exercı́cios 3: Quantificadores e validade

Prof. Ricardo J. Pinheiro

01/11/2008

Univercidade - Unidade Bonsucesso - Tec- 3 Qual é o valor lógico de cada

nologia em Sistemas de Informação - Lógica
Matemática
uma das fbfs abaixo entendendo
que:
1 Determine o valor lógico de cada • Conjunto-universo: Todos os estados do Brasil.
uma das fórmulas bem formu- • x: Um estado do Brasil.
ladas (fbfs) a seguir, entendendo • Q(x, y) :x está ao norte de y
que:
• P (x) :x começa com a letra M
• Conjunto-universo: Todos os números inteiros (con-
junto Z). • a :Mato Grosso do Sul.

• x: número inteiro. 1. (∀x)(P (x))

• I(x) :x é ı́mpar. 2. (∀x)(∀y)(∀z)[Q(x, y) ∧ Q(y, z) → Q(x, z)]

• L(x) :x < 0 3. (∃y)(∃x)(Q(y, x))
• G(x): x > 9 4. (∀x)(∃y)[P (y) ∧ Q(x, y)]
1. (∃x)(I(x)) 5. (∃y)(Q(a, y))
2. (∀x)[L(x) → I(x)]
3. (∃x)[L(x) ∧ G(x)] 4 Dadas as frases abaixo,
4. (∀x)[L(x) ∨ G(x)] reescreva-as como fbfs predi-
cadas, usando os quantificadores
2 Qual é o valor lógico de cada e predicados indicados:
uma das fbfs abaixo, entendendo • Conjunto-universo: O mundo todo.
que: • D(x) : x é um dia.
• Conjunto-universo: Todos os números inteiros (con- • S(x) :x é ensolarado.
junto Z).
• C(x) :x é chuvoso.
1. (∀x)(∃y)(x + y = x)
• M :Segunda-feira.
2. (∃y)(∀x)(x + y = x)
• T :Terça-feira.
3. (∀x)(∃y)(x + y = 0)
4. (∃y)(∀x)(x + y = 0) 1. Todos os dias são ensolarados.

5. (∀x)(∀y)(x < y ∨ y < x) 2. Alguns dias são chuvosos.

6. (∀x)[x < 0 → (∃y)(y > 0 ∧ x + y = 0) 3. Todo dia ensolarado não é chuvoso.

7. (∃x)(∃y)(x2 = y) 4. Alguns são ensolarados e chuvosos.
8. (∀x)(x2 > 0) 5. Nenhum dia é ensolarado e chuvoso ao mesmo tempo.

1
 6. É sempre um dia ensolarado só se for um dia chuvoso. 7 Dadas as frases abaixo,
7. Nenhum dia é ensolarado reescreva-as como fbfs predi-
8. A segunda-feira foi ensolarada; logo, todos os dias cadas, usando os quantificadores
serão ensolarados. e predicados indicados:
9. Choveu na segunda e na terça-feiras. • Conjunto-universo: Todos os carros.
10. Se algum dia for ensolarado, então todos os dias serão • x: Carro.
ensolarados.
• C(x) :x é um Corvette.

5 Dadas as frases abaixo, • F (x) :x é uma Ferrari.

reescreva-as como fbfs predi- • P (x) :x é um Porsche.
cadas, usando os quantificadores • D(x, y) :x é mais lento do que y.
e predicados indicados: 1. Nenhum carro é ao mesmo tempo um Corvette e uma
• Conjunto-universo: O mundo todo. Ferrari.

• P (x) :x é uma pessoa. 2. Alguns Porsches são mais lentos dos que Ferraris.

• T (x) :x é um perı́odo de tempo.
• E(x, y) :x é enganado por y.
1. Você pode enganar algumas pessoas todo o tempo.
3. Todas as Ferraris são mais lentas do que algum
Corvette. (x)
4. Alguns Porsches não são mais lentos do que Corvette
algum. (x)

2. Você pode enganar todas as pessoas durante algum

tempo. 8 Dadas as fbfs predicadas, quan-
3. Você não pode enganar todas as pessoas todo o tempo. tificadores e predicados abaixo,
reescreva-as em português:
6 Dadas as frases abaixo, • x: x é uma pessoa.
reescreva-as como fbfs predi- • A(x, y) :x ama y.
cadas, usando os quantificadores
• V (x) :x é vistoso.
e predicados indicados:
• B(x) :x é bonita.
• Conjunto-universo: O mundo todo.
• H(x) :x é um homem.
• x: Pessoa.
• M (x) :x é uma mulher.
• J(x) :x é um juiz.
• j :João.
• F (x) :x é um farmacêutico.
• c :Cátia.
• L(x) :x é um advogado.
1. (∀ j) ∧ A(c, j)
• M (x) :x é uma mulher.
2. (∀x)[H(x) → V (x)]
• A(x, y) :x admira y.
3. (∀x)[M (x) → (∀y)[A(x, y) → H(y) ∧ V (y)]
1. Nenhuma mulher é ao mesmo tempo, advogada e far-
macêutica. 4. (∃x)[H(x) ∧ V (x) ∧ A(x, c)]

2. Alguns advogados só admiram juı́zes. 5. (∃x)(M (x) ∧ B(x) ∧ (∀y)[A(x, y) → V (y) ∧ H(y)]

3. Existem algumas mulheres advogadas que admiram 6. (∀x)[M (x) ∧ B(x) → A(j, x)]
farmacêuticos.

4. Todas as mulheres advogadas admiram algum juiz.

2
Gabarito Questão 6:
1. (∀x)[M (x) → (L(x) ∧ F (x))0 ]
Questão 1:
2. (∃x)[L(x) ∧ (∀y)(A(x, y) → J(y))]
1. Válido.
3. (∃x)[M (x) ∧ L(x) ∧ (∃y)(A(x, y) → F (y))]
2. Não é válido.
4. (∀x)[M (x) ∧ L(x) ∧ (∃y)(A(x, y) → J(y))]
3. Não é válido.
Questão 7:
4. Não é válido.
1. (∀x)(C(x) ∧ F (x))0
Questão 2: 2. (∃x)[P (x) ∧ (∀y)(D(x, y) → F (y))]
1. Válido quando y = 0. 3. (∀x)[F (x) ∧ (∃y)(D(x, y) → C(y))]
2. Válido quando y = 0. 4. (∃x)[P (x) ∧ (∀y)(D(x, y) → C(y))0 ]
3. Válido quando x = −y.
Questão 8:
4. Não é válido.
1. João é vistoso e Cátia ama João.

Questão 3: 2. Todos os homens são vistosos.

1. Não é válido. 3. Toda mulher ama homens vistosos.

2. Válido. 4. Algum homem vistoso ama Cátia.

3. Válido. 5. Alguma mulher bonita ama todos os homens vistosos.

4. Válido. 6. Todas as mulheres bonitas amam João.

5. Válido.

Questão 4:
1. (∀x)(D(x) → S(x))

2. (∃x)(D(x) ∧ C 0 (x))

3. (∀x)[(D(x) ∧ S(x)) → C 0 (x)]

4. (∃x)(D(x) ∧ S(x) ∧ C(x))

5. (∀x)[D(x) → (S(x) ∧ C(x))0 ]

6. (∀x)(D(x) → C(x))

7. (∀x)(D(x) → S 0 (x))

8. (∃M )[P (M ) → (∀x)P (x)]

9. (∃M )(∃T )[D(M ) ∧ D(T ) ∧ C(M ) ∧ C(T )]

10. (∃x)[(D(x) ∧ S(x)) → (∀x)(D(x) ∧ S(x))]

Questão 5:
1. (∃x)[P (x) ∧ (∃y)(E(x, y) → T (y))]

2. (∀x)[P (x) ∧ (∀y)(E(x, y) → T (y))]

3. (∀x)[P (x) → (∀y)(T (y) ∧ E(x, y))0