Lista de Exerccios 1: Solues

Fundamentos da Lgica Lgica Proposicional

UFMG/ICEx/DCC DCC111 Matemtica Discreta
Cincias Exatas & Engenharias 1
o
Semestre de 2014
1. Construa a tabela da verdade para a seguinte proposio: E = (p (p q)) (q r)
Resposta:
p q r (p (p q)) (q r) E
V V V V V V
V V F V F F
V F V V V V
V F F V V V
F V V V V V
F V F V F F
F F V V V V
F F F V V V
2. Mostre se as expresses E
1
e E
2
so equivalentes logicamente:
E
1
= (s (p r)) ((p (r q)) s)
E
2
= (p q r s) (p s)
Resposta:
p q r s (s (p r)) ((p (r q)) s) E
1
(p q r s) (p s) E
2
V V V V F V F F F F
V V V F V F F F F F
V V F V V V V V F V
V V F F V F F F F F
V F V V F V F F F F
V F V F V F F F F F
V F F V V F F F F F
V F F F V F F F F F
F V V V F V F F F F
F V V F V F F F V V
F V F V F V F F F F
F V F F V F F F V V
F F V V F V F F F F
F F V F V F F F V V
F F F V F V F F F F
F F F F V F F F V V
Como as duas tabelas da verdade no so idnticas, as expresses E
1
e E
2
no so equivalentes logicamente.
1
3. Faa a simplicao lgica da seguinte expresso usando apenas as leis da lgica:
(p ((p q))) (p q)
Resposta:
(p ((p q))) (p q) De Morgan sobre (p q).
(p (p q)) (p q) Associatividade sobre p (p q).
((p p) q) (p q) Idempotncia sobre p p.
(p q) (p q) Distributividade sobre a expresso.
p (q q) Negao sobre q q.
p t Identidade com a tautologia t.
p
4. Mostre se o seguinte argumento vlido ou no usando as formas vlidas de argumentos. Em cada passo,
identique a razo para se obter a concluso:
(a) p r s
(b) t s
(c) u p
(d) w
(e) u w
(f) .
.
. t w
Resposta:
Dedues:
(i) u w (e)
w (d)
.
.
. u Silogismo Disjuntivo
(ii) u p (c)
u (i)
.
.
. p Modus Ponens
(iii) p r s (a)
p (ii)
.
.
. r s Modus Ponens
(iv) r s (iii)
.
.
. s Simplicao Conjuntiva
(v) t s (b)
s (iv)
.
.
. t Modus Tollens
(vi) t (v)
.
.
. t w Adio Disjuntiva
A forma de argumento vlida.
5. O famoso detetive Percule Hoirot foi chamado para resolver um assassinato misterioso. Ele determinou os
seguintes fatos:
(a) Lord Charles, o homem assassinado, foi morto com uma pancada na cabea com um castial.
2
(b) Ou Lady Camila ou a empregada Sara estavam na sala de jantar no momento do assassinato.
(c) Se o cozinheiro estava na cozinha no momento do assassinato, ento o aougueiro matou Lord Charles
com uma dose fatal de arsnico.
(d) Se Lady Camila estava na sala de jantar no momento do assassinato, ento o motorista matou Lord
Charles.
(e) Se o cozinheiro no estava na cozinha no momento do assassinato, ento Sara no estava na sala de
jantar quando o assassinato ocorreu.
(f) Se Sara estava na sala de jantar no momento do assassinato, ento o ajudante pessoal de Lord Charles
o matou.
possvel para o detetive Percule Hoirot deduzir quem matou Lorde Charles? Se sim, quem o assassino?
Resposta:
Sejam os seguintes argumentos:
p = Lord Charles foi morto com uma pancada na cabea com um castial.
q = Lady Camila estava na sala de jantar no momento do assassinato.
r = Sara estava na sala de jantar no momento do assassinato.
s = Cozinheiro estava na cozinha no momento do assassinato.
t = Aougueiro matou Lord Charles com uma dose fatal de arsnico.
u = Motorista matou Lord Charles.
v = Ajudante pessoal de Lord Charles o matou.
Traduo dos fatos para as proposies:
(a) p
(b) q r
(c) s t
(d) q u
(e) s r
(f) r v
Dedues:
(i) Suponha que s seja V, i.e., o cozinheiro estava na cozinha no momento do assassinato.
s t (c)
s (Suposio)
.
.
. t Modus Ponens
(ii) No entanto, t contradio, j que Lord Charles no foi morto com arsnico e sim por uma pancada
na cabea (a). Logo, a suposio que o cozinheiro estava na cozinha falsa. Assim, temos s.
s t (c)
t contradio (i)
.
.
. s Silogismo Hipottico e Contradio
(iii) s r (e)
s (ii)
.
.
. r Modus Ponens
(iv) q r (b)
r (iii)
.
.
. q Silogismo Disjuntivo
(v) q u (d)
q (iv)
3
.
.
. u Modus Ponens
De onde se conclui que o motorista matou Lord Charles.
6. Construa a tabela da verdade para a seguinte proposio: E = (p q) (p q)
Resposta:
p q (p q) (p q) E
V V F V F
V F V F F
F V V F F
F F F V F
7. Construa a tabela da verdade para a seguinte proposio: E = (p q) (p r)
Resposta:
p q r p q r (p q) (p r) E
V V V F F F V F F
V V F F F V V V V
V F V F V F F F V
V F F F V V F V V
F V V V F F F V V
F V F V F V F V V
F F V V V F V V V
F F F V V V V V V
8. Seja a tabela da verdade do operador :
p q p q
V V V
V F F
F V F
F F V
(a) O operador segue a lei da associatividade com o operador , i.e., (x y) z
?
x (y z).
Resposta:
x y z (x y) z x (y z)
V V V V V
V V F F F
V F V F F
V F F F F
F V V F F
F V F F V
F F V V V
F F F F V
Como as duas colunas da direita no so idnticas, o operador no segue a lei da associatividade
com o operador .
(b) O operador segue a lei da distributividade com o operador , i.e., x (y z)
?
(x y) (x z).
Resposta:
4
x y z x (y z) (x y) (x z)
V V V V V
V V F F F
V F V F F
V F F F F
F V V F F
F V F V F
F F V V F
F F F V V
Como as duas colunas da direita no so idnticas, o operador no segue a lei da distributividade
com o operador .
9. Mostre a equivalncia lgica da seguinte proposio usando apenas as leis da lgica:
(p r) (q r) (p q) r
Resposta:
(p r) (q r) (p q) r
(p r) (q r)
p q r
(p q) r
(p q) r
(p q) r
10. Mostre se os seguintes requisitos so consistentes ou no. Caso sejam, para que valores esses requisitos so
consistentes.
Se o sistema de arquivos no est travado, ento novas mensagens sero enleiradas. Se o sistema
de arquivos no est travado, ento o sistema est funcionando normalmente e vice-versa. Se
novas mensagens no so enleiradas, ento elas sero enviadas para o buer de mensagens. Se
o sistema de arquivos no est travado, ento novas mensagens sero enviadas para o buer de
mensagens. Novas mensagens no sero enviadas para o buer de mensagens.
Resposta:
Sejam os seguintes argumentos:
p = O sistema de arquivos no est travado.
q = Novas mensagens sero enleiradas.
r = O sistema est funcionando normalmente.
s = Mensagens sero enviadas para o buer de mensagens.
Traduo dos fatos para as proposies:
(a) p q
(b) p r
(c) r p
(d) q s
(e) p s
(f) s
Dedues:
(i) q s (d)
5
s (f)
.
.
. q Modus Tollens
(ii) p s (e)
s (f)
.
.
. p Modus Tollens
(iii) r p (c)
p (ii)
.
.
. r Modus Tollens
(iv) p r (b)
r (iii)
.
.
. p Modus Tollens
Pelas dedues acima temos que os requisitos so consistentes para os valores:
p = V : O sistema de arquivos est travado.
q = V : Novas mensagens sero enleiradas.
r = V : O sistema no est funcionando normalmente.
s = V : Mensagens no sero enviadas para o buer de mensagens.
11. Mostre se o seguinte argumento vlido ou no:
p q r
p q
q p
.
.
. r
Resposta:
Variveis Aux Premissas Concluso
p q r p q p q r p q q p r
1. V V V F V V V V
2. V V F F V V V F
3. V F V V V V V V
4. V F F V F V V
5. F V V F V V F
6. F V F F V V F
7. F F V F V F V
8. F F F F V F V
A concluso verdadeira para as linhas 1 e 3 e falsa para a linha 2. Ou seja, a concluso no verdadeira
para todas as linhas crticas. Logo, o argumento invlido.
12. Mostre se o seguinte argumento vlido ou no usando as formas vlidas de argumentos. Em cada passo,
identique a razo para se obter a concluso:
(a) p q
(b) r s
(c) s t
(d) q s
(e) s
(f) p r u
(g) w t
(h) .
.
. u w
6
Resposta:
(i) r s (b)
s (e)
.
.
. r Silogismo disjuntivo
(ii) q s (d)
s (e)
.
.
. q Silogismo disjuntivo
(iii) p q (a)
q (ii)
.
.
. p Modus Tollens
(iv) p r u (f)
p r Adio conjuntiva de (iii) e (i)
.
.
. u Modus Ponens
(v) s t (c)
s (e)
.
.
. t Modus Ponens
(vi) w t (g)
t (v)
.
.
. w Silogismo disjuntivo
(vii) u (iv)
w (vi)
.
.
. u w Adio conjuntiva
O argumento vlido.
13. Sejam duas variveis lgicas x e y, ou seja variveis que podem assumir o valor verdadeiro (V ) ou falso (F).
Seja o comando de atribuio existente em linguagens de programao como C e o operador denido
no exerccio 8. Qual o valor dessas variveis ao nal da execuo sequencial dos trs comandos abaixo.
Apresente a sua resposta independente dos valores iniciais de x e y.
x (x y)
y (x y)
x (x y)
Resposta:
Reescrevendo os comandos acima com o operador ou exclusivo temos (veja exerccio 8):
x (x y)
y (x y)
x (x y)
Executando os comandos e lembrando que o operador ou exclusivo segue a lei da associatividade e que 0
o elemento neutro, temos:
x (x y) (1)
y (x y) ((x y) y) (x (y y)) (x 0) x (2)
x (x y) ((x y) y) ((x y) x) ((x x) y) (0 y) y (3)
7
No comando (1), a varivel x recebe o resultado de x y. No comando (2), a varivel y recebe o resultado
da operao do ou exclusivo entre a varivel x, que contm o resultado de xy, e a varivel y. O resultado
dessa operao x. No comando (3), a varivel x recebe o resultado da operao do ou exclusivo entre a
varivel x, que contm o resultado de x y, e a varivel y, cujo valor x. O resultado dessa operao y.
Ou seja, aps a execuo desses trs comandos a varivel x tem o valor inicial de y e a varivel y tem o
valor inicial de x.
O texto, a seguir, foi retirado do livro texto, pgina 19: Lgicas Fuzzy so utilizadas em inteligncia articial.
Na lgica fuzzy, a proposio tem um valor-verdade que um nmero entre 0 e 1 inclusive. Uma proposio com
valor-verdade 0 falsa e uma com valor-verdade 1 verdadeira. Valores entre 0 e 1 indicam variantes de grau
de verdade. Por exemplo, o valor-verdade 0,8 pode ser indicado para uma proposio "Fred feliz", porque ele
feliz na maior parte do tempo; e o valor-verdade 0,4 pode ser indicado para a proposio "John feliz", porque
ele feliz menos que a metade do tempo.
14. O valor-verdade da negao de uma proposio em lgica fuzzy 1 menos o valor-verdade da proposio.
Quais so os valores-verdade das proposies "Fred no feliz" e "John no feliz"?
Resposta:
p
f
= 0, 8: "Fred feliz";
p
j
= 0, 4: "John feliz".
p
f
= 1 p
f
= 1 0, 8 = 0, 2: "Fred no feliz";
p
j
= 1 p
j
= 1 0, 4 = 0, 6: "John no feliz";
15. O valor-verdade da disjuno de duas proposies em lgica fuzzy o mximo dos valores-verdade de duas
proposies. Quais so os valores-verdade das proposies "Fred feliz ou John feliz" e "Fred no feliz
ou John no feliz"?
Resposta:
Sejam p e q variveis da Lgica Fuzzy. A disjuno p q = max(p ; q).
(a) "Fred feliz ou John feliz".
p
f
p
j
= max(0, 8; 0, 4) = 0, 8.
(b) "Fred no feliz ou John no feliz"
p
f
p
j
= max(0, 2; 0, 6) = 0, 6.
16. Cada habitante de uma vila longnqua sempre diz a verdade ou sempre mente. Um habitante dela dar
apenas como resposta um sim ou um no para a pergunta que um turista zer. Suponha que voc seja um
turista que visita essa rea e que chegue a uma bifurcao na estrada. Um lado leva at s runas que voc
quer visitar; o outro, s profundezas de uma oresta. Um habitante dessa vila est parado nessa bifurcao.
Que pergunta voc pode fazer ao habitante para determinar qual lado seguir?
Resposta:
Se for perguntado simplesmente qual estrada leva s runas e o turista no souber se um habitante que fala
a verdade ou mente, ento no possvel determinar se a resposta correta ou no. A pergunta no pode
depender do tipo de habitante e, para isso, necessrio formular uma pergunta que envolva duas questes.
Assim, ao invs de perguntar a bifurcao da direita leva s runas? (pergunta P1), que no resolve o
problema, deve-se perguntar algo similar a se eu fosse lhe perguntar se a bifurcao da direita me leva
s runas, voc responderia sim? (pergunta P2). Naturalmente a mesma estratgia pode ser feita para a
bifurcao da esquerda. Veja que a pergunta P2 pode ser vista como: se eu fosse lhe perguntar se P1, voc
responderia sim?, o que claramente mostra que a pergunta P2 trata de duas questes.
O habitante que fala a verdade responde corretamente. O habitante que fala mentira deve mentir duas
vezes no sentido que se a pergunta fosse simplesmente a bifurcao da direita leva s runas?, isto , P1,
ele teria que mentir. No entanto, como h uma segunda questo envolvida se eu fosse lhe perguntar se P1,
voc responderia sim? ento esse habitante deve mentir novamente. Esse raciocnio est representado na
tabela abaixo.
8
P1: A bifurcao da direita leva s runas?
P2: Se eu fosse lhe perguntar se a bifurcao da direita me leva s runas, voc responderia sim?
Tipo de habitante
Bifurcao da direita
leva s runas?
P1 P2
Fala verdade
Sim Sim Sim
No No No
Fala mentira
Sim No Sim
No Sim No
Se o habitante sempre fala a verdade, ele dir ao turista se deve seguir pela bifurcao da direita ou esquerda.
Se o habitante sempre fala mentira, ao responder a P2 ele sabe que mentiu ao responder P1 (parte dessa
pergunta). No entanto, ele mente novamente e, no nal, ele responde corretamente a bifurcao a ser
seguida. A estratgia usar uma dupla negativa.
17. Este sistema de especicaes consistente? O sistema est em um estado de multiuso se e somente se
estiver operando normalmente. Se o sistema est operando normalmente, o ncleo do sistema operacional
(kernel ) est funcionando. O kernel no est funcionando ou o sistema est no modo de interrupo. Se o
sistema no est em um estado de multiuso, ento est em um modo de interrupo. O sistema no est no
modo de interrupo.
Resposta:
Sejam os seguintes argumentos:
p = O sistema est em um estado de multiuso.
q = O sistema est operando normalmente.
r = O ncleo do sistema operacional (kernel ) est funcionando.
s = O sistema est no modo de interrupo.
Traduo dos fatos para as proposies:
(a) p q (p q) (q p)
(b) q r
(c) r s
(d) p s
(e) s
Dedues:
(i) r s (c)
s (e)
.
.
. r Silogismo Disjuntivo
(ii) q r (b)
r (i)
.
.
. q Modus Tollens
(iii) p s (d)
s (e)
.
.
. p Modus Tollens
(iv) (p q) (q p) (a)
.
.
. p q Simplicao Conjuntiva
(v) p q (iv)
q (ii)
9
.
.
. p Modus Tollens
As concluses (iii) e (v) dizem que p e p devem ser verdadeiros, o que claramente inconsistente.
18. Este sistema de especicaes consistente? O roteador pode enviar mensagens para o sistema principal
apenas se ele tratar um novo espao de endereo. Para o roteador tratar o novo espao de endereo,
necessrio que a ltima verso do software seja instalada. O roteador pode enviar mensagens ao sistema
principal se a ltima verso do software estiver instalada. O roteador no trata o novo espao.
Resposta:
Sejam os seguintes argumentos:
p = O roteador pode enviar mensagens para o sistema principal.
q = O roteador trata um novo espao de endereo.
r = A ltima verso do software seja instalada.
Traduo dos fatos para as proposies:
(a) p se q q p p q
(b) q necessrio para r r q
(c) p se r r p p r
(d) q
Deduo:
(i) r q (b)
q (d)
.
.
. r Modus Tollens
A proposio (d) e a concluso (i) indicam que devem ser verdadeiros q e r, respectivamente. As
proposies (a) e (c) tm como concluses q e r, respectivamente, e so verdadeiras independentes do
valor de p que aparece como hiptese de ambas. Assim, esse conjunto de especicaes consistente.
Pelas dedues acima temos que os requisitos so consistentes para os valores:
p p: O roteador pode/no pode enviar mensagens para o sistema principal.
q = V : O roteador no trata um novo espao de endereo.
r = V : A ltima verso do software no ser instalada.
19. Um detetive entrevistou quatro testemunhas de um crime. A partir das histrias das testemunhas, o
detetive concluiu que, se o mordomo est dizendo a verdade, ento o cozinheiro tambm est; o cozinheiro
e o jardineiro, ambos, no podem estar dizendo a verdade; o jardineiro e o zelador, ambos, no esto
mentindo; e se o zelador est dizendo a verdade, ento o cozinheiro est mentindo. Para cada uma das
quatro testemunhas, o detetive pode determinar se a pessoa est mentindo ou dizendo a verdade?
Resposta:
As quatro testemunhas podem ser identicadas pelas variveis C (cozinheiro), J (jardineiro), M (mordomo)
e Z (zelador), que sero usadas para indicar que esto falando a verdade.
Sejam os seguintes argumentos:
(a) M C [se o mordomo est dizendo a verdade, ento o cozinheiro tambm est]
(b) C J [o cozinheiro e o jardineiro, ambos, no podem estar dizendo a verdade]
(c) J Z [o cozinheiro e o jardineiro, ambos, no podem estar dizendo a verdade]
(d) Z C [se o zelador est dizendo a verdade, ento o cozinheiro est mentindo]
Pelos quatro argumentos acima, no possvel aplicar uma regra de inferncia. Se zermos uma tabela da
verdade, podemos identicar o cenrio no qual as quatro premissas supostamente so verdadeiras, conforme
mostrado a seguir.
10
Variveis Premissas
C J M Z (a) (b) (c) (d)
1. V V V V V F F F
2. V V V F V F V V
3. V V F V V F F F
4. V V F F V F V V
5. V F V V V V V F
6. V F V F V V F V
7. V F F V V V V F
8. V F F F V V F V
9. F V V V F V F V
10. F V V F F V V V
11. F V F V V V F V
12. F V F F V V V V
13. F F V V F V V V
14. F F V F F F F V
15. F F F V V F V V
16. F F F F V F F V
As premissas so verdadeiras para a linha 12, ou seja, o jardineiro fala a verdade e as outras testemunhas
no.
O texto, a seguir, foi retirado do livro texto, pgina 29: O dual de uma proposio composta que contm apenas
os operadores lgicos , e a proposio composta obtida pela troca de cada por , cada por , cada
V por F e cada F por V . O dual de s representado por s

.
20. Encontre o dual de cada uma das seguintes proposies compostas:
(a) s
1
: p q r
Resposta:
s

1
: p q r
(b) s
2
: (p q r) s
Resposta:
s

2
: (p q r) s
(c) s
3
: (p F) (q V )
Resposta:
s

3
: (p V ) (q F)
(d) Apresente um exemplo de proposio composta formada por pelo menos duas variveis tal que s s

.
Resposta:
s
4
: (p F) (q V )
p V
p
s

4
: (p V ) (q F)
p F
p
11