Escolar Documentos
Profissional Documentos
Cultura Documentos
Questão 1
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
vm v X ¬vm X ¬az
p az X vm
Absurdo!
az X ¬vm X ¬az
Questão 4
(B2 X A3)
A3 ¬A3
Absurdo! [ (B1 X (A2 V A3)) ] (B1 X (A2 V A3)) V (B2 X A3)
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
5.2
b) E(C, 1)
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}.
6.1
6.2
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