Академический Документы
Профессиональный Документы
Культура Документы
UFMG/ICEx/DCC
Lista de Exerccios 1
Fundamentos da Lgica Lgica Proposicional
2o Semestre de 2015
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
pq
V
F
F
V
?
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 .