exercicios logickka

2
3. Traduza os seguintes enunciados para a linguagem do CQC: a) Nenhum mamífero aquático tem pernas. (M: x é mamífero; A: x é aquático; P: x tem pernas). b) Alguns cordados vivíparos não são mamíferos nem peixes cartilaginosos (C: xé cordado; V: x é vivíparo; P: x é peixe; T: x é cartilaginoso). c) Nenhum número inteiro par maior que dois é primo (N: x é um número inteiro; E: x é par; M: x é maior que y; P: x é primo; d: dois). d) Nenhum corpo que esteja em repouso ou em movimento retilíneo uniforme encontra-se sob a ação de uma força (C: x é um corpo; R: x está em repouso; M: x está em movimento retilíneo uniforme; F: x está sob ação de uma força). e) Nem tudo que está no mundo pensa ou é extenso. (M: x está no mundo; P: x pensa; E: x é extenso). f) Toda ideia que não é criada nem provém da experiência é inata (C: x é uma idéia; A: x é criada; E: x provém da experiência; I: x é inata). g) Todas as ciências exatas são importantes, mas nem toda ciência importante é exata (C: x é ciência; E: x é exata; I: x é importante). h) Se nem todas as ciências são quantitativas, nem todas as ciências são exatas. (Q: x é quantitativa). i) Quem não lê livros não sabe muitas coisas, mas há livros que não merecem ser lidos (L: x lê livros; S: x sabe muitas coisas; B: x é um livro; M: x merece ser lido). j) Somente há instituições confiáveis se nenhuma desonestidade for recompensada(I: x é uma instituição; C: x é confiável; D: x é uma desonestidade; R: x é recompensado). k) Se há alunos que não estudam e são recompensados, nem todo professor é competente (A: x é aluno; E: x estuda; P: x é professor; C: x é competente). l) Se somente os amigos e parentes de João são favorecidos, João é corrupto. (A: x é amigo de y; P: x é parente de y; F: x é favorecido; C: x é corrupto; j: João). m) Todos são amigos de alguém (A: x é amigo de y).

description

lklkkl

Transcript of exercicios logickka

3. Traduza os seguintes enunciados para a linguagem do CQC: a) Nenhum mamfero aqutico tem pernas. (M: x mamfero; A: x aqutico; P: x tem pernas).b) Alguns cordados vivparos no so mamferos nem peixes cartilaginosos (C: x cordado; V: x vivparo; P: x peixe; T: x cartilaginoso). c) Nenhum nmero inteiro par maior que dois primo (N: x um nmero inteiro; E: x par; M: x maior que y; P: x primo; d: dois). d) Nenhum corpo que esteja em repouso ou em movimento retilneo uniforme encontra-se sob a ao de uma fora (C: x um corpo; R: x est em repouso; M: x est em movimento retilneo uniforme; F: x est sob ao de uma fora). e) Nem tudo que est no mundo pensa ou extenso. (M: x est no mundo; P: x pensa; E: x extenso). f) Toda ideia que no criada nem provm da experincia inata (C: x uma idia; A: x criada; E: x provm da experincia; I: x inata).g) Todas as cincias exatas so importantes, mas nem toda cincia importante exata (C: x cincia; E: x exata; I: x importante). h) Se nem todas as cincias so quantitativas, nem todas as cincias so exatas. (Q: x quantitativa). i) Quem no l livros no sabe muitas coisas, mas h livros que no merecem ser lidos (L: x l livros; S: x sabe muitas coisas; B: x um livro; M: x merece ser lido). j) Somente h instituies confiveis se nenhuma desonestidade for recompensada(I: x uma instituio; C: x confivel; D: x uma desonestidade; R: x recompensado). k) Se h alunos que no estudam e so recompensados, nem todo professor competente (A: x aluno; E: x estuda; P: x professor; C: x competente). l) Se somente os amigos e parentes de Joo so favorecidos, Joo corrupto. (A: x amigo de y; P: x parente de y; F: x favorecido; C: x corrupto; j: Joo). m) Todos so amigos de algum (A: x amigo de y). n) Algum amigo de todos. o) Se apenas os estudantes dedicados so aprovados e alguns estudantes inteligentes so dedicados, ento alguns estudantes aprovados so inteligentes. (E: x estudante; D: x dedicado; I: x inteligente; A: x aprovado). p) Pedro e Carlos so matemticos e todos os matemticos gostam de Lgica, mas h cientistas que gostam de Lgica e no de Matemtica. (p: Pedro; c: Carlos; l: Lgica; m: Matemtica; M: x um matemtico; C: x um cientista; G: x gosta de y). q) Todo aluno est matriculado em uma disciplina de que ele no gosta (A: x aluno; M: x est matriculado em y; D: x uma disciplina; G: x gosta de y) r) Todo aluno que no est matriculado em uma disciplinada qual ele gosta infeliz (I: x infeliz). s) Todos os livros de Histria esto na seo Humanidades, mas nem todos os livros que esto na seo Humanidades so de Histria. (L: x um livro; H: x de Histria; S: x est na seo y; h: Humanidades). t) Nem todos os livros de Histria esto na seo Humanidades, e algumas revistas de Histria esto na seo Peridicos Especiais. (R: x uma revista; p: Peridicos Especiais). u) Se algum aluno de Estatstica est matriculado em alguma disciplina, nenhum aluno de Matemtica estar matriculado nela (A: x aluno de y; e: Estatstica; m: Matemtica). v) Nem todo evento no previsto improvvel (E: x um evento; P: x previsto; I: x improvvel). w) Nem todo aluno estudioso gosta de alguma disciplina complicada (A: x aluno; E: x estudioso; C: x complicada). x) Nem todo aluno estudioso que gosta de alguma disciplina complicada gosta de Lgica (l: Lgica). y) Todo amigo de Joo que no gosta de Carlos tem um amigo que no amigo de Joo (A: x amigo de y; j: Joo; c: Carlos). z) Todo inimigo de algum dos inimigos de Pedro amigo dele (I: x inimigo de y; p: Pedro).