Introdução a Lógica da Computação

Sistemas de Informação – 1ª Série

Prof. Dr. Cleber Mira

Lista de Exercícios III

Exercício 1. Em cada uma das fórmulas abaixo dizer qual é o último conectivo aplicado
e o tipo da fórmula. Em seguida faça a árvore de decomposição.
1. {(A → (¬C)) ↔ [[¬[C ∧ (A ∨ C)]] → [¬[( E → C) ∨ (A ∧ D)]]]}
2. (¬((( E → C) ∨ (A ∧ D)) ∧ ((( E → C) → (¬(F ∨ D))) ↔ (E ∧ D))))
3. {¬[¬[¬[¬[(A → B) → B] → A]]]}

Exercício 2.

1) Determine todas as subfórmulas de cada uma das fórmulas dadas a seguir, usando o
conceito de árvore de decomposição.
1. ((A → C) → ((B → C) → ((A ∨ B) → C))).
2. (( A ∨ (A ∧ B)) ↔ A)
3. ((A ∧ (A ∨ B)) ↔ A)
4. ((A → (A → B)) ↔ (A → B))
5. (((A → B) ∧ (A → C)) ↔ (A → (B ∧ C)))
6. ((¬( A ∨ B)) ↔ ((¬A) ∧ (¬B)))
7. ((¬(A ∧ B)) ↔ ((¬A) ∨ (¬B)))
8. [[A → (B → C)] → [(A → B) → (A → C)]]
9. [[A → (B → C)] → [B → (A → C)]]
10. [(A ↔ B) → (A ∨ B)]
11. [((¬A) → B) → (B → A)]

2) Idem.
1. [(¬(A ∧ B)) ↔ (¬(A ∨ B))]
2. [(A → B) ↔ ((¬B) → (¬A))]
3. (A → (B ∧ C))
4. [(A → B) ∧ (A → C)]
5. [[(¬B) → (¬A)] → [(¬((¬B) → A)) → B]]

Exercício 3. Faça o que se pede.

1) Obter a árvore de subfórmulas das seguintes fórmulas e analisar o respectivo valor-

verdade (construir a tabela-verdade).
1. A
2. [¬(B ∧ C)]
3. {¬[¬(B ∨ C)]} 4. ((A → C) → ((B→ C) → ((A ∧ B) → C))).
4. ((¬(¬(A ∨ B))) → (¬(¬A)))
5. ((A → (B → C)) → ((A→ B) → (A → C)))
6. ((A → C) → ((B→ C) → ((A ∨ B) → C))))

2) Fazer a árvore de subfórmulas das seguintes fórmulas e analisar o respectivo valor-

verdade (construir a tabela-verdade).

1
1. [[(¬B) → (¬A)] → [((¬B) → A) → B]]
2. [[(¬B) ∧ (¬C)] ↔ (¬A)]
3. [¬[(A → B) ∧ (A ∨ (¬A))]]
4. [¬(A ∨ (¬A))] 5. [¬(A ∧ (¬A))]
6. [(¬B) ∧ (¬C)] ↔ (¬A)
7. [¬(( A → B) ∧ (A ∨ (¬A)))]
8. [[A → (B → C)] → [(A → B) → (A → C)]]
9. [[A → (B → C)] → [B → (A → C)]]
10. [(A ↔ B) → (A ∨ B)]
11. [((¬A) → B) → (B → A)]

3) Idem.
1. [(¬(A ∧ B)) ↔ (¬(A ∨ B))]
2. [(A → B) ↔ ((¬B) → (¬A))]
3. [(A→ (B ∧ C))]
4. [(A→ B) ∧ (A → C)]
5. [[(¬B) → (¬A)] → [(¬((¬B) → A)) → B]]
6. [[(¬B) ↔ (¬C)] ↔ (¬A)]
7. [¬[(¬(A → B)) ∧ (B ∨ (¬A))]]
8. [¬(A → (¬A))]
9. [¬(A ∧ (¬(¬A)))]
10. [[(¬B) ∧ (¬C)] ↔ (¬(¬A))]
11. [¬(( A → B) ↔ (A ↔ (¬A)))]
12. [[ A ↔ ( B → C)] → [( A ↔ B) → ( A ↔ C)]]

4) Fazer a árvore de subfórmulas das seguintes fórmulas e analisar o respectivo valor-

verdade (construir a tabela-verdade).
1. [¬[( A → B) ∧ (A ∨ (¬A))]]
2. [[(¬B) ∧ (¬C)] ↔ (¬A)]
3. [¬[(¬A) ∧ A]]
4. [[(¬B) → (¬A)] → [((¬B) → A) → B]]
5. [[ A →( B → C)] → [ B → ( B → C)]]
6. [¬[A ∧ (¬A)]]
7. [[(¬B) ∧ (¬C)] ↔ (¬A)]
8. [¬[( A → B) ∧ (A ∨ (¬A))]]
9. [[ A →( B → C)] → [ B → ( A → C)]]
10. [[(¬B) → (¬A)] → [((¬B) → A) → B]]
11. [[(¬B) ∧ (¬C)] ↔ (¬A)]
12. [¬[( A → B) ∧ (A ∨ (¬A))]]

Exercício 4. Dada uma implicação (A → B), definimos três variações dessa implicação
como sendo:
a Recíproca, (B → A),
a Inversa, ((¬A) → (¬B)) e
a Contrapositiva, ((¬B) → (¬A)).

2
Nas sentenças abaixo, determine o que se pede:
1. A Recíproca de “Se tem quatro lados, é um quadrado”.
2. A Inversa de “Se Maria é professora, ela é pobre”.
3. A Contrapositiva de “Se José estudar, ele passará em lógica”.
4. A Contrapositiva de “Se um político mente, ele ganha a eleição”.

Exercício 5. Determine:
1. A Recíproca da Inversa de (A → B)
2. A Inversa da Contrapositiva de (A → B)
3. A Contrapositiva da Inversa de (A → B)
4. A Contrapositiva da Recíproca de (A → B)
5. A Recíproca da Inversa de “Se Antônio ganhar a causa, o assassino será libertado”.
6. A Inversa da Contrapositiva de “Se o time tiver coragem, vencerá”.
7. A Contrapositiva da Inversa de “Se for um triângulo, será um triângulo equilátero”.
8. A Contrapositiva da Recíproca de “Se o relógio estiver certo, estamos atrasados”.

Exercício 6. Em cada uma das sentenças abaixo, determine, quando houver, quem é a
condição necessária e a condição suficiente na frase. Observe que uma mesma proposi-
ção pode ser condição necessária e suficiente.
1. Rita virá somente se não chover.
2. Quando Dorival a ver, ele vai avisá-la.
3. O ar está quente somente quando o sol está brilhando.
4. Toda vez que o telefone toca, Nara corre para atendê-lo.

Exercício 7. Toda fórmula bem formada (fbf) é equivalente a uma sentença que use ape-
nas os conectivos da conjunção e negação. Para garantirmos isto devemos achar fbfs
equivalentes para (A ∨ B) e (A → B) que usem apenas aqueles conectivos. Estas novas
fbfs poderão substituir, respectivamente, quaisquer ocorrências de (A ∨ B) e (A → B).
(O conectivo ↔ já foi definido em termos dos outros conectivos, portanto já sabemos
que pode ser substituído em uma fbf.)
a. Mostre que (A ∨ B) é equivalente a (¬ ((¬A) ∧ (¬B))) .
b. Mostre que (A → B) é equivalente a (¬ (A ∧ (¬B))).

Exercício 8. Considere o seguinte fragmento de um programa Pascal:

if ((a < 5.0) and (2*a < 10.7)) or (sqrt(5.0*a) > 5.1)
then writeln(a);

Modele a condição do comando “if” como uma fórmula do Cálculo Proposicional e des-
creva em quais circunstâncias o comando “writeln(a);” será executado?