Universidade Tecnológica Federal do Paraná (UTFPR)

Aluna: Vanessa Maria da Silva BSI - S73.

Curso: Bacharelado em Sistemas de Informação.
Disciplina: Lógica para Computação.
Professor: Adolfo Neto (DAINF-UTFPR).

Exercícios de Representação do Conhecimento

1- Simbolize as seguintes fórmulas proposicionais, usando letras

maiúsculas para representar os enunciados simples:

a) Se Edgar apresentar uma queixa, então Fulton investigará e

Greville será desqualificado.

R: A → (B ∧C)

A = Edgar apresentar uma queixa.

B = Fulton investigará.
C = Greville será desqualificado.

b) Ou Edgar apresenta uma queixa, ou se Fulton investigar,

então Greville não será desqualificado.

R: A ∨(B → ¬ C)

A = Edgar apresenta uma queixa.

B = Fulton investigar.
C = Greville será desqualificado.
c) Se Edgar não apresentar uma queixa, então, nem Fulton
investigará, nem Greville será desqualificado.

R: ¬A → (¬B ∧¬ C)

A = Edgar apresentar uma queixa.

B = Fulton investigará.
C = Greville será desqualificado.

d) Se não for o caso de Edgar apresentar uma queixa, então,

Fulton investigará e Greville será desqualificado.

R: ¬ A → (B ∧C)

A = Edgar apresentar uma queixa.

B = Fulton investigará.
C = Greville será desqualificado.
2- Simbolize e classifique os seguintes argumentos em válidos ou
inválidos:

a) Se Allen se retira do concurso, então Brown será nomeado

ou Clark ficará desapontado. Brown não será nomeado.
Portanto, se Allen se retira do concurso, então Clark ficará
desapontado.

R: A → (B ∨C)
¬B
A→C

• A = Se Allen se retira do concurso.

• B = Brown será nomeado.
• C = Clark ficará desapontado.

A → (B ∨C), ¬B |= A → C

b) Se o contrato for adjudicado a Davis, então Edwards

ganhará bom dinheiro no próximo ano. Se o contrato for
adjudicado a Davis, então French sofrerá reveses
financeiros. Portanto, se Edwards ganhar bom dinheiro no
próximo ano, então French sofrerá reveses financeiros.

R: D → E
D→F
E→F

• D = Se o contrato for adjudicado a Davis.

• E = Edwards ganhará bom dinheiro no próximo ano.
• F = French sofrerá reveses financeiros.

D → E, D → F |= E → F
 c) Se Jones descobre a conspiração, e se der valor a sua vida,
então abandonará o país. Ele dá valor a sua vida. Portanto,
se Jones descobre a conspiração, então abandonará o país.

R: (A ∧B) → C
B
A→C

• A = Jones descobre a conspiração.

• B = Jones der valor a sua vida.
• C = Jones então abandonará o país.

(A ∧B) → C, B |= A → C

Referência:

BUCHSBAUM, Arthur. Exercícios de Representação do

Conhecimento. UFSC, INE.
Disponível em: <http://wwwexe.inf.ufsc.br/~arthur/index.php?
page=material_didatico&lang=pt >.
Acesso em: 25 jun. 2009.
Resolução de Problemas de Representação do Conhecimento e
Raciocínio
Aluna: Amanda M. Lins (Turma S71-2009.1, Engenharia da
Computação – DAINF-UTFPR)
Disciplina: Lógica para Computação
Professor: Adolfo Gustavo Serra Seca Neto (DAINF-UTFPR)

Problema 1 (SELINGER, 2005): Se o leão não se

esconde, então a caçada termina cedo. Se a caçada
termina cedo, então ou o leão foi morto ou o
caçador foi comido. O leão não foi morto. Portanto, o
caçador é comido a não ser que o leão se esconda.

Legenda:
• L: O leão se esconde
• H: a caçada termina cedo
• K: o leão foi morto
• E: o caçador foi comido

Tradução para lógica proposicional:

Premissas:
¬L → H
H → (K V E)
¬K
Conclusão:
EVL
Problema 2 (SELINGER, 2005):
Se o cão está latindo, e ele está na casa, então alguém está na
porta da frente. Se alguém está na porta da frente e o cão não está
na casa, então o cão está latindo. O cão só late se ninguém está na
porta da frente. Portanto, se o cão está latindo, o cão está na casa.

Legenda:
• B: o cão está latindo
• H: o cão está na casa
• F: alguém está na porta da frente

Tradução para lógica proposicional:

Premissas:
B∧H→F
F ∧ ¬H → B
B→F
Conclusão:
B→H
Problema 3 (SELINGER, 2005):
O argumento seguinte refere-se a esse fragmento
de programa de Java ou C:
/* label 1 */
if (i != 0) {
j = 0;
}
/* label 2 */
i = i + j;
j = i - j;
/* label 3 */

Argumento:
Se não i=0 na label 1, então j=0 na label 2. Além
disso, i=0 na label 2 se e somente se i=0 na label 1.
Se i=0 na label 2, então j=0 na label 3. Se j=0 na
label 2, então j=i na label 3. Portanto, na label 3, ou
j=0 ou j=i.

Legenda:
A: i = 0 na label 1
B: i = 0 na label 2
C: j = 0 na label 2
D: j = 0 na label 3
E: j = i na label 3

Tradução para Lógica proposicional:

Premissas:
¬A → C
B→A
A→ B
B→D
C→E
Conclusão:
DvE
Referência:

SELINGER, Peter; Exercícios elaborados pelo

professor para a disciplina
Discrete Structures I. Dalhousie University, 2005.
Halifax, Nova Scotia, Canadá.
Disponível em:
<http://www.mathstat.dal.ca/~selinger/2112/01/han
douts/handout1.pdf>.