Unip - Prova - 1 Semestre - Logica 03

Questões de múltipla escolha\n\nDisciplina: 306160 - Lógica\n\nQuestão 1: 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 em a necessidade da tabela-verdade. Tomemos como exemplo a regra de inferência Modus ponens (MP): p → q, p, portanto 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 VALIDO é:\n\n✗ Logo, João não almoçou.\n✗ Logo, João almoçou e não foi para a escola.\n✗ Logo, João não foi para a escola.\n✓ Logo, João foi para a escola.\n✗ Logo, João não foi almoçou e não foi para a escola.\n\nQuestão 2: Proposições condicionais são muito utilizadas tanto em linguagem corrente como em lógica matemática. Uma condicional afirma unicamente o valor lógico entre as proposições. Veja o exemplo: \"Se você trouxe documentos, então poderá fazer a matrícula.\" Analise as seguintes expressões:\n\n✓ Se eu trouxe os documentos, poderia fazer a matrícula.\n✓ Se não trouxe os documentos, poderia fazer a matrícula.\n✗ Se eu trouxe os documentos, não poderia fazer a matrícula.\n\nPodemos concluir que são VERDADEIRAS as expressões:\n\n✓ I, II e IV.\n\\- \\- I, ke IV.\n\nQuestão 3: Em lógica, sentenças abertas são expressões declarativas que não podem ter atribuído um valor lógico de verdadeiro ou falso. A sentença assumirá o valor lógico verdadeiro ou falso dependendo do valor da variável.\n\nPorém, podem ser consideradas como propostas se \n✓ estas variáveis forem atribuídos valores que possibilitem que a sentença assume valor lógico verdadeiro ou valor lógico falso.\n\nA) As duas afirmações são proposições verdadeiras, e a segunda não é uma conclusão correta da primeira.\n\nB) A primeira afirmação é uma proposição verdadeira, e a segunda é uma proposição falsa.\n\nC) A primeira afirmação é uma proposição falsa, e a segunda é uma proposição verdadeira.\n\nD) As duas afirmações são proposições falsas.\n\nE) As duas afirmações são proposições verdadeiras, e a segunda é uma conclusão correta da primeira.\n\nQuestão 4: 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.\n\nQuestão 5: Proposições são expressões declarativas que possuem sentido completo. Elas podem ser simples ou compostas. Para a formação de proposições compostas, é necessário o uso de conectivos. Portanto, conectivos são palavras usadas para formar proposições compostas a partir de proposições simples.\n\nA) Se jogo for em São Paulo, então não terei que viajar.\n\nB) Paula será o treinador e Lucas será o árbitro.\n\nII) Haverá jogo e, somente se, o estádio for liberado.\n\nIII) Haverá jogo ou, se não houver, o time terá que ir embora.\n\nAnálise as proposições acima e indique respectivamente qual o conectivo utilizado para formação das proposições compostas.\n\nA) Implicação, disjunção, biconicional e conjunção.\n\nB) Condicional, conjunção, equivalência e condicional.\n\nC) Biconicional, disjunção, condicional e conjunção.\n\nD) Condicional, conjunção, biconcional e disjunção.\n\nE) Implicação, conjunção, equivalência e disjunção.\n\nQuestão 7: Em lógica, é comum a utilização do quantificador existencial \"existe\" ou \"para algum\" e do quantificador universal: \"para todo\" ou \"qualquer que seja\" para transformar uma sentença aberta em uma proposição.\n\nÉ um exemplo de atribuição de valor lógico FALSO a alternativa:\n\n✗ Existe x E tal que x + 4 = 4.\n✓ Para todo x E temos que x > 15.\nC) Para qualquer x E temos que x < 5.\nD) Existe x E tal que 3 + x = 15.\nE) Para algum x E temos que x + 7 = 10.\n\nQuestão 8: O método dedutivo em lógica matemática é muito utilizado para simplificar proposições compostas complexas, bem como também para validar argumentos, pois dispensa o uso de tabelas-verdade. Conhecer a relação de equivalência entre as proposições é uma ferramenta que auxilia muito na aplicação deste Método. Seja a afirmação, \"eu terei um computador novo se, e somente se, eu for promovido\". A NEGAÇÃO desta afirmação é equivalente a dizer que:\n\n✓ Se eu não fui promovido, então não terei um computador novo.\n\nC) Eu fui promovido ou terei um computador novo.\n\nD) Eu terei um computador novo e eu fui promovido e não terei um computador novo.\n\nE) Eu não terei um computador novo e não fui promovido. Questão 9: Proposições simples ou atômicas são aquelas que não podem ser divididas em outras proposições e proposições compostas ou moleculares 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 chovendo, então terei que ficar em casa.\n\nII. Carla, ligue para o Paulo e peça o número da matrícula dele!\n\nIII. Marcos tomou ou se caiu da manhã e saiu para jogar futebol.\n\nIV. A maioria dos accidentes de trânsito ocorre por falta de atenção.\n\nSão exemplos de proposições compostas as expressões:\n\n✓ II e III.\n\nC) II e IV.\n\nD) I e III.\n\nE) I e II.\n\nQuestão 10: A negação de uma proposição quanto à quantificadores pode ser encontrada pelas segundas regras de negação De Morgan:\n\n\\- (\\forall x E A(x)) \\equiv (\\exists x E \\neg A(x))\n\n\\- (\\exists x E A(x)) \\equiv (\\forall x E \\neg A(x))\n\nNão se é verdade que \"Todas as pessoas que trabalham em TI são formadas em Análise de Sistemas\", então:\n\n✗ Nenhuma pessoa que trabalha em TI é formada em Análise de Sistemas.\n\n✓ Todas as pessoas de TI são formadas em Análise de Sistemas.\n\nC) Ninguém formada em Análise de Sistemas trabalha em TI.\n\nD) Alguma pessoa formada em Análise de Sistemas trabalham em TI.\n\nE) Alguma pessoa que trabalha em TI não é formada em Análise de Sistemas.