DCC111 Matemtica Discreta

UFMG/ICEx/DCC

Lista de Exerccios 1
Fundamentos da Lgica Lgica Proposicional
2o Semestre de 2015

Cincias Exatas & Engenharias

1. Construa a tabela da verdade para a seguinte proposio: E = (p (p q)) (q r)

2. Mostre se as expresses E1 e E2 so equivalentes logicamente:
E1 = (s (p r)) ((p (r q)) s)
E2 = (p q r s) (p s)
3. Faa a simplificao lgica da seguinte expresso usando apenas as leis da lgica:
(p ((p q))) (p q)
4. Mostre se o seguinte argumento vlido ou no usando as formas vlidas de argumentos. Em cada passo,
identifique a razo para se obter a concluso:
(a)

p r s

(b)

ts

(c)

u p

(d)

w
uw

(e)
.

(f) . . t w
5. Este exerccio praticamente idntico ao anterior exceto que a concluso um pouco diferente. Mostre
se o seguinte argumento vlido ou no usando as formas vlidas de argumentos. Em cada passo, identifique
a razo para se obter a concluso:
(a)

p r s

(b)

ts

(c)

u s

(d)

w
uw

(e)
.

(f) . . t w
6. 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.
(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.
1

 possvel para o detetive Percule Hoirot deduzir quem matou Lorde Charles? Se sim, quem o assassino?
7. Construa a tabela da verdade para a seguinte proposio: E = (p q) (p q)
8. Construa a tabela da verdade para a seguinte proposio: E = (p q) (p r)
9. Seja a tabela da verdade do operador :
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V
?

(a) O operador  segue a lei da associatividade com o operador , i.e., (x  y) z x  (y z).

?

(b) O operador  segue a lei da distributividade com o operador , i.e., x  (y z) (x  y) (x  z).

10. Mostre a equivalncia lgica da seguinte proposio usando apenas as leis da lgica:
(p r) (q r) (p q) r
11. 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 enfileiradas. Se o sistema
de arquivos no est travado, ento o sistema est funcionando normalmente e vice-versa. Se
novas mensagens no so enfileiradas, ento elas sero enviadas para o buffer de mensagens. Se
o sistema de arquivos no est travado, ento novas mensagens sero enviadas para o buffer de
mensagens. Novas mensagens no sero enviadas para o buffer de mensagens.
12. Mostre se o seguinte argumento vlido ou no:
p q r
pq
qp
.
.. r
13. Mostre se o seguinte argumento vlido ou no usando as formas vlidas de argumentos. Em cada passo,
identifique a razo para se obter a concluso:
(a)

pq

(b)

rs

(c)

s t

(d)

q s

(e)

(f)

p r u
wt

(g)
.

(h) . . u w
14. 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 definido
no exerccio ??. Qual o valor dessas variveis ao final 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)

O texto, a seguir, foi retirado do livro texto, pgina 19: Lgicas Fuzzy so utilizadas em inteligncia artificial.
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.
15. 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"?
16. 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"?
17. 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 fizer. 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 floresta. Um habitante dessa vila est parado nessa bifurcao.
Que pergunta voc pode fazer ao habitante para determinar qual lado seguir?
18. Este sistema de especificaes 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.
19. Este sistema de especificaes consistente? O roteador pode enviar mensagens para o sistema principal
somente 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.
20. 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?
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 .
21. Encontre o dual de cada uma das seguintes proposies compostas:
(a) s1 : p q r
(b) s2 : (p q r) s
(c) s3 : (p F ) (q V )
(d) Apresente um exemplo de proposio composta formada por pelo menos duas variveis tal que s s .