Você está na página 1de 6

Lista 5 - Lógica para ciência da computação Considere o E lógico como X, não tenho o

João Marcos Brito Matias - 494952 caractere para a conjução

Questão 1

p: Platão está disposto a visitar Socrátes


s: Sócrates está disposto a visitar Platão

p→s
s → ¬p
¬s → p

1.1 1.2
[ ¬s ] ¬s → p Significa que se supormos que Sócrates não está disposto a
p p→s visitar Platão chegamos a um absurdo, assim como considerar
que Platão está disposto a visitar Socrátes leva a este mesmo
s s → ¬p absurdo. Logo, Sócrates está disposto a visitar Platão, mas
p X ¬p Platão não está disposto a visitar Sócrates.
Absurdo!
s

Questão 2

p: A é responsável
q: B é responsável
r: C é responsável

1. ((p X q) V (q X r)) V (p X r)
2. q V r
3. ¬p V ¬r

¬p V ¬r
¬(p X r) ((p X q) V (q X r)) V (p X r)
(p X q) V (q X r)

Questão 3

p: Encontrará ouro em pelo menos um pote


q: Em pelo menos dois potes não há ouro
vd: Encontrará ouro no pote verde
vm: Encontrará ouro no pote vermelho
az: Encontrará ouro no pote azul
1. p
2. q
3. ¬vd → az
4. ¬vm → ¬az
5. p ↔ vd V vm V az
6. q ↔ (((¬vd X ¬vm) V (¬vm X ¬az)) V (¬vd X ¬az))

Os intens a), b) e c) estão presentes nessa solução

[ az ] (((¬vd X ¬vm) V (¬vm X ¬az)) V (¬vd X ¬az))

(¬vd X ¬vm) (¬vd X ¬vm)


¬vd → az ¬vd ¬vm ¬vm → ¬az
az ¬az
az → ¬az
Absurdo!

vm v X ¬vm X ¬az

p az X vm

Absurdo!
az X ¬vm X ¬az

Questão 4

Γ = {¬A3, C3, (B1 X (A2 V A3)) V (B2 X A3)}

[ (B2 X A3) ] (B1 X (A2 V A3)) V (B2 X A3)

(B2 X A3)

A3 ¬A3
Absurdo! [ (B1 X (A2 V A3)) ] (B1 X (A2 V A3)) V (B2 X A3)

(B1 X (A2 V A3)) ¬A3


(B1 X A2)
Questão 5

Por não encontrar os caracteres que satisfazessem o que a questão pede, farei uma pequena alteração:
E(x, y): Onde a escultura x está na sala y, onde x 22
08 {C, D, E, F, G, H}, y 08 {1, 2, 3}.
22

5.1

1 - As esculturas C e E não podem ser exibidas na mesma sala.

((E(C, 1) X ¬E(E, 1)) V ((E(C, 2) X ¬E(E, 2)) V ((E(C, 3) X ¬E(E, 3))


V ((E(E, 1) X ¬E(C, 1)) V ((E(E, 2) X ¬E(C, 2)) V ((E(E, 3) X ¬E(C, 3))

2 - As esculturas D e G precisão ser exibidas na mesma sala.

((E(D, 1) X E(G, 1)) V ((E(D, 2) X E(G, 2)) V ((E(D, 3) X E(G, 3))

3 - Se as esculturas E e F forem exibidas na mesma sala, então nenhuma outra


escolutra pode ser exibidas nesta sala.

((E(E, 1) X E(F, 1) X ¬E(C, 1) X ¬E(D, 1) X ¬E(G, 1) X ¬E(H, 1))


V ((E(E, 2) X E(F, 2) X ¬E(C, 2) X ¬E(D, 2) X ¬E(G, 2) X ¬E(H, 2))
V ((E(E, 3) X E(F, 3) X ¬E(C, 3) X ¬E(D, 3) X ¬E(G, 3) X ¬E(H, 3))

5.2

a) E(D, 3) X E(E, 1) X E(F, 1)

b) E(C, 1)

d) (E(F, 1) X E(H, 1)) V (E(F, 2) X E(H, 2)) V (E(F, 3) X E(H, 3))

e) trata-se de uma conjunção de várias disjunções. Cada disjunção é uma das 20 possibilidades
de grupos de esculturas que podem ser formados, sem repetição, das 6 esculturas.

e) E(G, 2)
Questão 6

Por não encontrar os caracteres que satisfazessem o que a questão pede, farei uma pequena alteração:
V(x, y): x é mais velho que y, onde x, y 22
08 {Hayden, Alex, Drew, Blake}.

P(x, y): x chegou antes de y, onde x, y {Hayden, Alex, Drew, Blake}.


22
08

6.1

P(Alex, Hayden) X P(Drew, Hayden) X P(Blake, Hayden)

6.2

¬(V(Alex, Hayden) X V(Alex, Drew) X P(Alex, Blake)), V(Alex, Drew),


¬(¬P(Alex, Blake) X P(Alex, Drew) X P(Alex, Hayden)) V
¬(¬P(Alex, Drew) X P(Alex, Blake X P(Alex, Hayden)) V
¬(¬P(Alex, Hayden) X P(Alex, Drew) X P(Alex, Blake))

Questão 7

7.1
1: A V B Não é consequência semântica.
1: A → C Observe por exemplo quando
1: B → C A é falso, B é verdadeiro e C é verdadeiro
1: ¬(¬C)

0: ¬C

1: C

0: A 1: C

0: B 1: C 0: B 1: C

1: A 1: B 1: A 1: B 1: A 1: B 1: A 1: B

7.2

É consequência semântica.
1: A → B 0: A
1: ¬B 0: ¬A 1: A 0: B
1:¬(¬A)
1: B
7.3
É consequência semântica.

1: ¬A X B 1: ¬A
0: A 0: (¬A 00
00 ¬B)
0: ¬A 1: A
1: ¬(¬A V ¬B) 1: B 1: B
0: ¬B

7.4
1: A V C
É consequência semântica. 1: A V B
1: ¬(A X (B V C) )

0: A X (B V C)

0: A
0: B V C

0: B
0: C

1: A 1: C

1: B 1: A 1: B 1: A

7.5
1: ¬A Não é consequência semântica.
1: B V C Observe por exemplo quando
1: ¬((AV B) X (A V C)) A é falso, B é falso e C é verdadeiro

0: A

0: (A V B) X (A V C)

0: (A V B) 0: (A V C)

0:A 0:A
0:B 0:C

1: B 1:C 1: B 1:C
7.6
1: A Não é consequência semântica.
Observe por exemplo quando
0: ¬A 1: A 1: B A é verdadeiro, B é verdadeiro
1: A V B
1: ¬(¬A X ¬B) 0: ¬A 00
00 ¬B
1: A
0: ¬B 1: B 1: B

Questão 8

8.1
1: (A → (B → C)) → (B → (A → C))

0: A → (B → C) 1: B → (A → C)

0: A 1: (B → C) 0: B 1: (A → C)

0: B 1: C 0: A 1: C

Você também pode gostar