Prova Dp Lógica Unip

UNIP INTERATIVA\nCódigo da Prova:\nCurso: Sup Tec em Análise e Desenvolvimento de Sistemas\nSérie ou Período: DP\nTipo: Disciplina\nAluno:\n1 - Questões objetivas - valendo 10,00 pontos\nGerada em: 2018\nNota:\n10\n\nQuestões de múltipla escolha\nDisciplina: 306160 - Lógica\n\nQuestão 1: Quando se analisa a validade ou não de um argumento, as premissas são sempre assumidas como verdadeiras. Em Lógica, o importante é a validade do argumento e não se as premissas e conclusões são verdade ou falsidades. Sejam as proposições:\nI. Se Marcos acordar cedo, então Pedro irá viajar.\nII. Pedro não viajou ou Carlos foi trabalhar.\nIII. Se Carlos foi trabalhar, então José foi jogar bola.\nIV. José não foi jogar bola.\n\nPara as premissas dadas, uma conclusão possível para que este argumento seja válido é:\nA) Logo, Pedro foi trabalhar.\nB) Logo, José não foi viajar.\nC) Logo, Marcos não acordou cedo.\nD) Logo, Carlos foi trabalhar.\nE) Logo, Pedro viajoi.\n\nQuestão 2: Proposições simples ou atômicas são aquelas que não podem ser divididas em outras proposições simples. As proposições compostas são formadas pela combinação de duas ou mais proposições simples. As proposições compostas são formadas pelo uso de conectivos.\n\nI. Se estiver doente, então teria que ficar em casa.\nII. Carla, ligue para Paulo e peça o número da matrícula dele!\nIII. Marcos foi ao parque hoje pela manhã e Maria foi para a academia.\nIV. A maioria dos acidentes de trânsito ocorre por falta de atenção.\n\nSão exemplos de proposições compostas as expressões:\nA) I, II e III.\nB) I, III e IV.\nC) I e II.\nD) II e III.\nE) I, II, III e IV.\n\nQuestão 3: Uma relação de implicação lógica é utilizada quando se quer mostrar que a verdade de uma conclusão Q está associada à verdade de uma hipótese (P => Q). Em outras palavras, para que P implique em Q, todo valor lógico verdadeiro de P tem que estar com um valor lógico verdadeiro de Q.\n\nI. p => q => p.\nII. ¬p => ¬q.\nIII. (p => q) <=> (q => p).\nIV. p v q <=>(p v ¬q).\n\nPara as expressões acima, são relações de implicação lógica APENAS:\nA) I, II e III.\nB) I e IV.\nC) II e III.\nD) I, II, III e IV.\nE) II e IV. D) I, II, III e IV.\nE) I, II e IV.\n\nQuestão 4: As regras de inferência são formas elementares de argumentos que podem ser facilmente verificadas pela tabela-verdade. A utilização de regras de inferência permite que estruturas argumentativas complexas possam ser analisadas sem a necessidade de tabela-verdade. Tomemos como exemplo a regra de inferência Modus ponens (MP): p -> q, p -> q, facilmente constatamos que a condicional associada a este argumento é uma tautologia.\n\nSejam as premissas de um argumento: \"Se João almoçar, então irá para escola. João almoçou.\" A conclusão deste argumento, para que seja VÁLIDO é:\nA) Logo, João almoçou e não foi para a escola.\nB) Logo, João não foi para a escola.\nC) Logo, João não vai para a escola.\nD) Logo, José não almoçou e não foi para a escola.\n\nQuestão 5: Sempre que o valor lógico de uma proposição composta for verdadeiro, não importando a combinação das proposições simples que a compõem, teremos uma tautologia. Proposições tautológicas possuem importância fundamental em Lógica. Um método prático para se concluir se uma proposição é tautológica é construir sua tabela-verdade. Sejam as proposições compostas abaixo:\n\nI - (p v q) => ¬p.\nII. ¬p => ¬q.\nIII - (p => q) <=> (p v q).\n\nPodemos afirmar que é TAUTOLÓGICA, que são TAUTOLÓGICAS, as alternativas:\nA) I, II e III.\nB) II e III.\nC) III e IV.\nD) I, II e IV.\nE) Apenas I.\n\nQuestão 6: Conforme descrito no livro-texto, proposição é \"o conjunto de palavras ou símbolos que expressam um pensamento de sentido completo\" - e também afirmado que a proposição é uma expressão declarativa e não pode ter sentido ambíguo, ou seja, só poderá ser verdadeira ou falsa. Uma proposição pode ainda ser simples ou composta. Leia as expressões abaixo:\n\nI. Marcos foi ao parque hoje pela manhã e Maria foi para a academia.\nII. O número 16 é maior que o número 30.\nIII. Feliz aniversário!\nIV. O que você vai fazer no fim de semana?\n\nPodemos dizer que são proposições APENAS as expressões:\nA) I, II e III.\nB) II e III.\nC) I, III e IV.\nD) I, II e IV.\nE) I, II, III e IV. Só são VERDADEIROS os conjuntos verdade em:\nA) I, II, III e IV.\nB) I, III e IV.\nC) I e III.\nD) II, III e IV.\nE) I, II e IV.\n\nQuestão 8: Diz-se que duas proposições têm relação de equivalência P <=> Q quando os valores lógicos das combinações da proposição P forem exatamente iguais aos valores lógicos das mesmas combinações da proposição Q, ou seja, exatamente iguais.\n\nI. p => ¬q => p. II. ¬p => ¬q. III. (p => q) <=> (q => p).\n\nPara as expressões acima, são relações de equivalência lógica APENAS:\nA) I, II e III.\nB) II e III.\nC) I, II e IV.\nD) I, II, III e IV.\nE) II e IV.\n\nQuestão 9: A negação de uma proposição com quantificadores pode ser encontrada pelas segundas regras de negação De Morgan:\n~(∀x ∈ A)(p(x)) <=> (∃x ∈ A)(¬p(x))\n(∀x ∈ A)(p(x)) <=> ~(∃x ∈ A)(¬p(x))\n\nSe não é verdade que \"Todas as pessoas que trabalharam em TI são formadas em Análise de Sistemas\", então é necessariamente VERDADE que:\nA) Nenhuma pessoa de TI é formada em Análise de Sistemas.\nB) Todas as pessoas de TI são formadas em Análise de Sistemas.\nC) Ninguém formada em Análise de Sistemas trabalha em TI.\nD) Alguma pessoa que trabalhou em TI não é formada em Análise de Sistemas.\nE) Alguma pessoa que trabalhava em TI não é formada em Análise de Sistemas.\n\nQuestão 10: A negação de uma proposição possui valor inverso ao da proposição original, se a proposição tem valor lógico (V), a negação dessa proposição tem valor lógico (F) e vice-versa. Um diagrama de Venn mostra com clareza a representação da negação.\n\n-np\nP\n\nSeja a proposição \"Todas as flores são perfumadas\", a alternativa que representa a NEGAÇÃO da proposição é:\nA) Nenhuma flor é perfumada.\nB) Nem todas as flores são perfumadas.\nC) Existe uma flor que não é perfumada.\nD) Apenas uma flor é perfumada.\nE) Todas as flores não são perfumadas.