LÓGICA E FUNDAMENTOS

1o teste 9/4/2015 2h30m

1. Apuraram-se os seguintes factos:

• Se o crime teve lugar na biblioteca, então: o assassino é o Coronel Monteiro e a

arma do crime não foi a chave inglesa.
• A arma do crime foi o candelabro ou: o crime teve lugar na biblioteca e o Coronel
Monteiro está inocente.
• Se a arma do crime não foi a chave inglesa, então: a arma do crime não foi o
candelabro ou o Coronel Monteiro está inocente.

É possı́vel concluir qual foi a arma do crime? (2,5 val.)

2. No planeta Duus os habitantes dividem-se em ormasdianos e arimanianos. Os ormas-

dianos falam sempre verdade e os arimanianos mentem sempre, mas não há forma de
distinguir uns dos outros só com o olhar. Um viajante encontra três indivı́duos no alto
de uma montanha. Diz o primeiro, apontando para o segundo:
- Ele é ormasdiano.
O segundo aponta para o terceiro e declara:
- Ele é arimaniano.
O terceiro aponta para o primeiro mas, devido ao vento que começa a soprar, o viajante
apenas consegue ouvir:
- Ele é ...iano.
O que disse o terceiro indivı́duo? (2 val.)

3. Definimos um conetivo ◦ no CP por:

ϕ ◦ ψ: “se ϕ, então não ψ”.

(a) Mostre que {◦} é um conjunto completo de conetivos. (2,5 val.)

 (b) Construa uma fórmula usando apenas o conetivo ◦ que tenha a seguinte tabela
de verdade: (2 val.)

A B ϕ
v v f
v f v
f v v
f f f

[Nota: Pode introduzir abreviaturas (remetendo sempre para o conetivo ◦).]

4. Sejam ϕ e ψ fórmulas do CP. Sem usar a completude do CP, prove que

` ∼∼ ϕ ∨ (ψ → (∼ ϕ ∧ ψ)).
(2,5 val.)

5. Seja L a LPO definida por R2 = {P }. Seja U = (A, <) um conjunto totalmente

ordenado (ordem estrita), visto como estrutura de L.

(a) Escreva uma sentença de L que, quando interpretada em U, exprima a propriedade

“U tem máximo mas não tem mı́nimo”. (2 val.)
(b) Seja ϕ a fórmula ∀x ∀y (P (x, y) → ∃z (P (x, z) ∧ P (z, y))). Dê exemplo de duas
estruturas U e U 0 do tipo considerado tais que U |= ϕ e U 0 6|= ϕ. (2 val.)

6. Seja L a LPO com igualdade definida por R1 = {R} e F2 = {f }. Em quais das

seguintes fórmulas é a variável x substituı́vel pelo termo f (x, z)?

• ϕ1 : ∀y x = f (y, z);
• ϕ2 : ∀z (R(y) → ∃x R(x));
• ϕ3 : ∼ x = y ∨ ∃z R(f (x, x)). (2 val.)

7. Sejam ϕ e ψ fórmulas de uma LPO L. Sem usar a completude da LPO, prove que
` ∃x ϕ ∨ ∀x (ϕ → ψ). (2,5 val.)

2
 AXIOMAS DO CP

(A1) ϕ → (ψ → ϕ)

(A2) (ϕ → (ψ → θ)) → ((ϕ → ψ) → (ϕ → θ))

(A3) (∼ ψ → ∼ ϕ) → ((∼ ψ → ϕ) → ψ)

AXIOMAS DA LPO

Todas as generalizações de fórmulas dos seguintes tipos:

(B1) Instâncias de tautologia

(B2) ∀x ϕ → ϕxt , onde a variável x é substituı́vel pelo termo t em ϕ

(B3) ∀x (ϕ → ψ) → (∀x ϕ → ∀x ψ)

(B4) ϕ → ∀x ϕ, se x não ocorre livre em ϕ

Se a LPO tiver igualdade, consideram-se ainda:

(B5) x = x

(B6) x = y → (ϕ → ϕ0 ), onde ϕ é uma fórmula atómica e ϕ0 resulta de substituir em ϕ zero

ou mais ocorrências da variável x pela variável y

3
 LÓGICA E FUNDAMENTOS
2o teste 4/6/2015 2h30m

1. Determine uma fórmula em forma normal prenex sintaticamente equivalente à fórmula

de LPO ∃y f (x, y) = x → ∀z R(x, z). (2,5 val.)

2. Seja ϕ uma sentença de uma LPO com igualdade L e seja M od(ϕ) a classe das estru-
turas de L que satisfazem ϕ. Mostre que ou M od(ϕ) contém uma estrutura infinita
ou existe M ∈ N tal que toda a estrutura em M od(ϕ) tem no máximo M elementos.
(2,5 val.)

3. (a) Mostre que se D1 e D2 são cortes de Dedekind, então D1 ∩ D2 também é um corte

de Dedekind. (1,5 val.)
(b) E no caso de uma interseção da forma ∩i∈I Di , sendo I um conjunto não vazio
arbitrário? (1,5 val.)

4. Um conjunto diz-se singular se tiver um único elemento. Determine se existe o conjunto

de todos os conjuntos singulares. (2,5 val.)

5. Mostre que:

(a) ∪P(x) = x para todo o conjunto x; (1,5 val.)

(b) a igualdade P(∪x) = x nem sempre é válida. (1,5 val.)

6. Mostre que se x é um conjunto transitivo, então x+ também é transitivo. (1,5 val.)

7. Mostre que n + 1 = 1 + n para todo n ∈ ω. (2,5 val.)

8. Defina uma boa ordem em N que realize o tipo de ordem de ω + 1 + ω. (2,5 val.)

1
 AXIOMAS DO CP

(A1) ϕ → (ψ → ϕ)

(A2) (ϕ → (ψ → θ)) → ((ϕ → ψ) → (ϕ → θ))

(A3) (∼ ψ → ∼ ϕ) → ((∼ ψ → ϕ) → ψ)

AXIOMAS DA LPO

Todas as generalizações de fórmulas dos seguintes tipos:

(B1) Instâncias de tautologia

(B2) ∀x ϕ → ϕxt , onde a variável x é substituı́vel pelo termo t em ϕ

(B3) ∀x (ϕ → ψ) → (∀x ϕ → ∀x ψ)

(B4) ϕ → ∀x ϕ, se x não ocorre livre em ϕ

Se a LPO tiver igualdade, consideram-se ainda:

(B5) x = x

(B6) x = y → (ϕ → ϕ0 ), onde ϕ é uma fórmula atómica e ϕ0 resulta de substituir em ϕ zero

ou mais ocorrências da variável x pela variável y

2
 AXIOMAS DE ZERMELO-FRANKEL

(ZF1) Axioma de extensão: dois conjuntos são iguais se e só se possuem os mesmos ele-
mentos

(ZF2) Axioma de existência: existe um conjunto sem elementos

(ZF3) Axioma de especificação: se A é um conjunto e ϕ(x) é uma fórmula da LPO da

teoria de conjuntos, então existe um conjunto cujos elementos são os elementos x ∈ A
que satisfazem ϕ(x)

(ZF4) Axioma dos pares: dados conjuntos x e y, existe um conjunto cujos elementos são
xey

(ZF5) Axioma de união: dado um conjunto x, existe um conjunto cujos elementos são os
elementos dos elementos de x

(ZF6) Axioma de potência: dado um conjunto x, existe um conjunto cujos elementos são
os subconjuntos de x

(ZF7) Axioma de infinitude: existe um conjunto indutivo

(ZF8) Axioma de substituição: seja ϕ(x, y) uma fórmula da LPO da teoria de conjuntos
tal que, para todo o conjunto x, existe no máximo um conjunto y satisfazendo ϕ(x, y);
para todo o conjunto A, existe um conjunto cujos elementos são os conjuntos y tais
que ϕ(x, y) é válida para algum x ∈ A

3
 LÓGICA E FUNDAMENTOS
Exame 15/6/2015 3h

Nota: A cotação de cada uma das questões é 2 valores.

1. Designando por ∨˙ a disjunção exclusiva, mostre que o conjunto {∨, ∨}

˙ de conetivos do
CP não é completo.

2. Sejam ϕ e ψ fórmulas do CP. Sem usar a completude do CP, prove que

` ((ϕ → ψ) →∼ ϕ) →∼ (ϕ ∧ ψ).

3. Seja ϕ uma fórmula de LPO. Mostre que em geral 6` ∃xϕ → ϕ.

4. Que variáveis são substituı́veis pelo termo f (x, y) na fórmula de LPO

(∀y x = y → ∃x ∀y z = y) → ∀w x = w?

5. Sejam ϕ e ψ fórmulas de uma LPO L. Sem usar a completude da LPO, prove que
` ∃x(ψ → ϕ) → (∃x ϕ ∨ ∃x ∼ ψ).

6. Construa uma fórmula de lógica de segunda ordem monádica que exprima a pro-
priedade de ser bem ordenado (considerando R como o sı́mbolo relacional binário da
linguagem, e igualdade).

7. Seja A um conjunto. Mostre que existe o conjunto {{{a}} : a ∈ A}.

8. Sejam R e S relações (binárias). Mostre que (R ◦ S −1 )−1 = S ◦ R−1 .

9. Mostre que ∪n ∈ ω para todo n ∈ ω.

10. Sejam α um ordinal e x ⊆ α. Mostre que x é um ordinal se e só se transitivo.

1
 AXIOMAS DO CP

(A1) ϕ → (ψ → ϕ)

(A2) (ϕ → (ψ → θ)) → ((ϕ → ψ) → (ϕ → θ))

(A3) (∼ ψ → ∼ ϕ) → ((∼ ψ → ϕ) → ψ)

AXIOMAS DA LPO

Todas as generalizações de fórmulas dos seguintes tipos:

(B1) Instâncias de tautologia

(B2) ∀x ϕ → ϕxt , onde a variável x é substituı́vel pelo termo t em ϕ

(B3) ∀x (ϕ → ψ) → (∀x ϕ → ∀x ψ)

(B4) ϕ → ∀x ϕ, se x não ocorre livre em ϕ

Se a LPO tiver igualdade, consideram-se ainda:

(B5) x = x

(B6) x = y → (ϕ → ϕ0 ), onde ϕ é uma fórmula atómica e ϕ0 resulta de substituir em ϕ zero

ou mais ocorrências da variável x pela variável y

2
 AXIOMAS DE ZERMELO-FRANKEL

(ZF1) Axioma de extensão: dois conjuntos são iguais se e só se possuem os mesmos ele-
mentos

(ZF2) Axioma de existência: existe um conjunto sem elementos

(ZF3) Axioma de especificação: se A é um conjunto e ϕ(x) é uma fórmula da LPO da

teoria de conjuntos, então existe um conjunto cujos elementos são os elementos x ∈ A
que satisfazem ϕ(x)

(ZF4) Axioma dos pares: dados conjuntos x e y, existe um conjunto cujos elementos são
xey

(ZF5) Axioma de união: dado um conjunto x, existe um conjunto cujos elementos são os
elementos dos elementos de x

(ZF6) Axioma de potência: dado um conjunto x, existe um conjunto cujos elementos são
os subconjuntos de x

(ZF7) Axioma de infinitude: existe um conjunto indutivo

(ZF8) Axioma de substituição: seja ϕ(x, y) uma fórmula da LPO da teoria de conjuntos
tal que, para todo o conjunto x, existe no máximo um conjunto y satisfazendo ϕ(x, y);
para todo o conjunto A, existe um conjunto cujos elementos são os conjuntos y tais
que ϕ(x, y) é válida para algum x ∈ A

Axioma da escolha: Dado um conjunto C, existe uma função f tal que f (x) ∈ x para
todo x ∈ C \ {∅}

3
 LÓGICA E FUNDAMENTOS
Exame 6/7/2015 3h

Nota: A cotação de cada uma das questões é 2 valores.

1. Após recolher as declarações de duas testemunhas sobre um caso em investigação, um

juiz chegou às seguintes conclusões:

• Se o carro não era um Alfa-Romeo, então: o cão era um pastor alemão e a arma
estava carregada.
• O cão era um pastor alemão, ou: se a arma estava carregada então o carro não
era um Alfa-Romeo.
• Se a arma estava carregada, então: o carro era um Alfa-Romeo e o cão não era
um pastor alemão.
• Se a arma não estava carregada, então: o cão era um pastor alemão ou o carro
era um Alfa-Romeo.

É possı́vel que ambas as testemunhas estejam a dizer a verdade?

2. Sejam ϕ e ψ fórmulas do CP. Sem usar a completude do CP, prove que

` (ϕ → ψ) ∨ (ψ → ϕ).

3. Seja L a LPO com igualdade definida por R2 = {R}.

(a) Sejam ϕ e ψ as sentenças ∀y ∃x R(x, y) e ∃y ∀x ∼ R(x, y). Mostre que ϕ 6|= ψ e

ψ 6|= ϕ.
(b) Sem usar a completude da LPO, prove que ` ∃x x = y → ∃z(z = y ∨ R(y, z)).

4. Determine uma fórmula em forma normal prenex sintaticamente equivalente à fórmula

de LPO ∀x R(x, y) ∨ ∃z R(z, x).

5. Seja {Di : i ∈ I} uma famı́lia de cortes de Dedekind. Quando é que ∪i∈I Di é um corte
de Dedekind?

1
6. Mostre que se A é um conjunto, então existe o conjunto {∪a : a ∈ A}.

7. Mostre que se m, n ∈ ω então (m, n) não é transitivo.

8. Usando as propriedades da adição, mostre que m+ n = mn + n para todos m, n ∈ ω.

9. Seja α um ordinal. Mostre que P(α) é um ordinal se e só se α ∈ 2.

2
 AXIOMAS DO CP

(A1) ϕ → (ψ → ϕ)

(A2) (ϕ → (ψ → θ)) → ((ϕ → ψ) → (ϕ → θ))

(A3) (∼ ψ → ∼ ϕ) → ((∼ ψ → ϕ) → ψ)

AXIOMAS DA LPO

Todas as generalizações de fórmulas dos seguintes tipos:

(B1) Instâncias de tautologia

(B2) ∀x ϕ → ϕxt , onde a variável x é substituı́vel pelo termo t em ϕ

(B3) ∀x (ϕ → ψ) → (∀x ϕ → ∀x ψ)

(B4) ϕ → ∀x ϕ, se x não ocorre livre em ϕ

Se a LPO tiver igualdade, consideram-se ainda:

(B5) x = x

(B6) x = y → (ϕ → ϕ0 ), onde ϕ é uma fórmula atómica e ϕ0 resulta de substituir em ϕ zero

ou mais ocorrências da variável x pela variável y

3
 AXIOMAS DE ZERMELO-FRANKEL

(ZF1) Axioma de extensão: dois conjuntos são iguais se e só se possuem os mesmos ele-
mentos

(ZF2) Axioma de existência: existe um conjunto sem elementos

(ZF3) Axioma de especificação: se A é um conjunto e ϕ(x) é uma fórmula da LPO da

teoria de conjuntos, então existe um conjunto cujos elementos são os elementos x ∈ A
que satisfazem ϕ(x)

(ZF4) Axioma dos pares: dados conjuntos x e y, existe um conjunto cujos elementos são
xey

(ZF5) Axioma de união: dado um conjunto x, existe um conjunto cujos elementos são os
elementos dos elementos de x

(ZF6) Axioma de potência: dado um conjunto x, existe um conjunto cujos elementos são
os subconjuntos de x

(ZF7) Axioma de infinitude: existe um conjunto indutivo

(ZF8) Axioma de substituição: seja ϕ(x, y) uma fórmula da LPO da teoria de conjuntos
tal que, para todo o conjunto x, existe no máximo um conjunto y satisfazendo ϕ(x, y);
para todo o conjunto A, existe um conjunto cujos elementos são os conjuntos y tais
que ϕ(x, y) é válida para algum x ∈ A

Axioma da escolha: Dado um conjunto C, existe uma função f tal que f (x) ∈ x para
todo x ∈ C \ {∅}