Materialprof Logica 25.08.08
Materialprof Logica 25.08.08
Disciplina: Lógica
Prof.: Joselias
Data: 25/08/2008
a) O argumento é válido, uma vez que suas premissas são verdadeiras, bem como sua
conclusão.
b) argumento é válido apesar de conter uma premissa falsa.
c) Mesmo sem saber se as premissas são verdadeiras ou falsas, podemos garantir que o
argumento não é válido.
d) NDA.
63) (ESAF) Se não durmo, bebo. Se estou furioso, durmo. Se durmo, não estou furioso. Se
não estou furioso, não bebo. Logo,
a) não durmo, estou furioso e não bebo
b) durmo, estou furioso e não bebo
c) não durmo, estou furioso e bebo
d) durmo, não estou furioso e não bebo
e) não durmo, não estou furioso e bebo
-2–
CURSO TRT
Disciplina: Lógica
Prof.: Joselias
Data: 25/08/2008
64) (TRT-FCC) Sabe-se que existem pessoas desonestas e que existem corruptos. Admitindose
verdadeira a frase “Todos os corruptos são desonestos”, é correto concluir que
(A) quem não é corrupto é honesto.
(B) existem corruptos honestos.
(C) alguns honestos podem ser corruptos.
(D) existem mais corruptos do que desonestos.
(E)) existem desonestos que são corruptos.
65) Todo matemático é estudioso. Existem músicos que são estudiosos. Pedro é matemático e
Ivo é estudioso. Pode-se concluir que
(A) Pedro é estudioso e Ivo é matemático.
(B) Pedro é estudioso e Ivo é músico.
(C) Pedro é também músico e Ivo é
matemático.
(D) Pedro é estudioso e Ivo pode não ser
matemático nem músico.
(E) Pedro é também músico e Ivo pode não ser
matemático nem músico.
66) Em uma cidade, é verdade que "algum físico é esportista" e que "nenhum aposentado é
esportista". Portanto, nessa cidade,
(A) nenhum aposentado é físico.
(B) nenhum físico é aposentado.
(C) algum aposentado não é físico.
(D) algum físico é aposentado.
(E) algum físico não é aposentado.
67) Todas as irmãs de Angélica são loiras. Sendo assim, pode-se concluir que
(A) Angélica é loira.
(B) Angélica não é loira.
(C) Se Ana é loira, então ela é irmã de
Angélica.
(D) Se Beatriz não é irmã de Angélica, então
Beatriz não é loira.
(E) Se Cida não é loira, então ela não é irmã de
Angélica.
(CESPE) As afirmações que podem ser julgadas como verdadeiras (V) ou falsas (F),
mas não ambas, são chamadas proposições. As proposições são usualmente simbolizadas
por letras maiúsculas: A, B, C etc. A expressão A → B, lida, entre outras formas,
como “se A então B”, é uma proposição que tem valoração F quando A é V e B é F, e tem
valoração V nos demais casos. Uma expressão da forma ¬ A, lida como “não A”,
é uma proposição que tem valoração V quando A é F, e tem valoração F quando A é
V. A expressão da forma A ∧ B, lida como “A e B”, é uma proposição que tem
valoração V apenas quando A e B são V, nos demais casos tem valoração F. Uma
expressão da forma A ∨ B, lida como “A ou B”, é uma proposição que tem valoração F
apenas quando A e B são F; nos demais casos, é V. Com base nessas definições,
julgue os itens que se seguem.
68) Uma expressão da forma ¬ (A ∧ ¬ B) é uma proposição que tem exatamente as mesmas
valorações V ou F da proposição A→B.
-3–
CURSO TRT
Disciplina: Lógica
Prof.: Joselias
Data: 25/08/2008
69) Considere que as afirmativas “Se Mara acertou na loteria então ela ficou rica” e “Mara
não acertou na loteria” sejam ambas proposições verdadeiras. Simbolizando adequadamente
essas proposições pode-se garantir que a proposição “Ela não ficou rica” é também verdadeira.
70) A proposição simbolizada por (A →B) → (B →A) possui uma única valoração F.
71) Considere que a proposição “Sílvia ama Joaquim ou Sílvia ama Tadeu” seja verdadeira.
Então pode-se garantir que a proposição “Sílvia ama Tadeu” é verdadeira.
(CESPE) Uma proposição é uma afirmação que pode ser julgada como verdadeira (V) ou
falsa (F), mas não como ambas. As proposições são usualmente simbolizadas por letras
maiúsculas do alfabeto, como, por exemplo, P, Q, R etc. Se a conexão de duas proposições é
feita pela preposição “e”, simbolizada usualmente por , então obtém-se a forma P Q, lida
como “P e Q” e avaliada como V se P e Q forem V, caso contrário, é F. Se a conexão for feita
pela preposição “ou”, simbolizada usualmente por , então obtém-se a forma P Q , lida
como “P ou Q” e avaliada como F se P e Q forem F, caso contrário, é V. A negação de uma
proposição é simbolizada por ¬ P, e avaliada como V, se P for F, e como F, se P for V. Um
argumento é uma seqüência de proposições P1, P2, ..., Pn, chamadas premissas, e uma
proposição Q, chamada conclusão. Um argumento é válido, se Q é V sempre que P1, P2, ..., Pn
forem V, caso contrário, não é argumento válido. A partir desses conceitos, julgue o próximo
item.
73) (FCC)Todos os macerontes são torminodoros. Alguns macerontes são momorrengos. Logo
(A) todos os momorrengos são torminodoros.
(B) alguns torminodoros são momorrengos.
(C) todos os torminodoros são macerontes.
(D) alguns momorrengos são pássaros.
(E) todos os momorrengos são macerontes.
-4–