Compilado_Logica

Prévia do material em texto

MÚLTIPLA ESCOLHA - LÓGICA 
 
QUESTÕES 2022 
 
P) Define-se uma proposição como o conjunto de palavras ou símbolos que exprimem um pensamento de 
sentido completo. As proposições objeto do estudo da lógica não podem ser ambíguas, ou seja, não podem 
admitir mais de uma interpretação. Das alternativas abaixo, qual delas é de fato uma proposição? 
 
A) Pedro, faça estes exercícios. 
B) Qual a cor deste papel? 
C) Faça-se a luz. 
D) Esta questão é muito fácil. 
E) Qual será a alternativa correta? 
 
P) Conforme descrito no livro-texto, proposição é "o conjunto de palavras ou símbolos que exprimem um 
pensamento de sentido completo”. É 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: 
 
I. Marcos foi ao parque hoje pela manhã e Maria foi para a academia. 
II. O número 15 é maior que o número 30. 
III. Feliz aniversário! 
IV. O que você vai fazer no fim de semana? 
 
Podemos dizer que são proposições APENAS as expressões: 
 
A) I, III e IV. 
B) l e ll. 
C) II, III e IV. 
D) II e IV. 
E) I, II, III e IV. 
 
P) 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 
verdades ou falsidades. Sejam as proposições: 
 
I. Se Marcos acordar cedo, então Pedro irá viajar. 
II. Pedro não viajou ou Carlos foi trabalhar. 
III. Se Carlos foi trabalhar, então José foi jogar bola. 
IV. José não foi jogar bola. 
 
Para as premissas dadas, uma conclusão possível para que este argumento seja válido é: 
 
A) Logo, Pedro foi trabalhar 
B) Logo, José não foi viajar. 
C) Logo, Marcos não acordou cedo. 
D) Logo, Carlos foi trabalhar. 
E) Logo, Pedro viajou. 
 
P) 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. 
I. p ⇿ q <=> p ⇾ q 
II. ~~р<=>р. 
III. (p ⇿ g) <=> (p ⇾ q) ^ (q ⇾ p) 
IV. p ^ q <=> p ∨ q. 
 
Para as expressões acima, são relações de equivalência lógica APENAS: 
 
A) I, II e III. 
B) II e III. 
C) II, III e IV. 
D) I, II, III e IV. 
E) III e IV. 
 
P) Analise a tabela-verdade abaixo: 
 
 
 
 
 
 
 
 
 
 
 
 
Podemos concluir que: 
 
A) p ∨ (q ^ r) é equivalente a (p ∨ q) ^ (p ∨ r) 
B) p implica a q ^ r 
C) p ∨ q implica p ^ q 
D) p ^ q não implica p ∨ q 
E) p ^ q não implica p ⇿ q 
 
P) 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: 
 
A) Eu não terei um computador novo e não fui promovido. 
B) Se eu não fui promovido, então não terei um computador novo. 
C) Eu fui promovido ou terei um computador novo. 
D) Eu terei um computador novo e não fui promovido ou eu fui promovido e não terei um computador 
novo. 
E) Eu não terei um computador ou não fui promovido e eu não fui promovido e não terei um computador. 
 
P) Indique qual das alternativas abaixo é tautológica: 
 
A) p ⇾ q ⇿ p ^ ~q 
B) (p ⇾ q) ^ (q ⇾ p) ⇿ р ∨ r 
C) (p v q) ⇿ q ^ p 
D) ~(p v q) ⇿ q ^ p 
E) p ⇾ q ⇿ ~p v q 
 
P) Uma maneira de fazer a negação de uma proposição com quantificadores é utilizar as segundas 
regras de negação De Morgan: 
 
 
Se a afirmação "Todas as frutas são doces" é verdadeira, então a sua NEGAÇÃO será: 
 
A) Algumas frutas são doces. 
B) Existem frutas doces. 
C) Nenhuma fruta é doce. 
D) Algumas frutas não são doces. 
E) Todas as frutas são doces 
 
P) 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. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Seja a proposição "Todas as flores são perfumadas", a alternativa que representa a NEGAÇÃO da proposição é: 
 
A) Nenhuma flor é perfumada. 
B) Nem todas as flores são perfumadas 
C) Existe uma flor que não é perfumada. 
D) Apenas uma flor é perfumada. 
E) Todas as flores não são perfumadas. 
 
P) A negação de uma proposição com quantificadores pode ser encontrada pelas segundas regras de 
negação De Morgan: 
 
 
 
 
 
 
 
Se não é verdade que "Todas as pessoas que trabalham em TI são formadas em Análise de Sistemas", então é 
necessariamente VERDADE que: 
 
A) Nenhuma pessoa que trabalha em TI é formada em Análise de Sistemas. 
B) Todas as pessoas de TI são formadas em Análise de Sistemas. 
C) Ninguém formada em Análise de Sistemas trabalha em TI. 
D) Alguma pessoa formada em Análise de Sistemas trabalha em TI. 
E) Alguma pessoa que trabalha em TI não é formada em Análise de Sistemas. 
 
P) 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. 
 
I. Se o jogo for em São Paulo, então o time terá que viajar. 
II. Paulo será o treinador e Lucas será o árbitro. 
III. Haverá jogo se, e somente se, o estádio for liberado. 
IV. Marcelo vai jogar ou Pedro ficará no banco. 
 
Analise as proposições acima e indique respectivamente qual o conectivo utilizado para formação das proposições 
compostas. 
 
A) Implicação, disjunção, bicondicional, e conjunção. 
B) Condicional, conjunção, equivalência e condicional. 
C) Bicondicional, disjunção, condicional, e conjunção. 
D) Condicional, conjunção, bicondicional e disjunção. 
E) Implicação, conjunção, equivalência, e disjunção. 
 
P) O uso de parêntese na simbolização de proposições compostas é de extrema importância de modo a não permitir 
duplo sentido na leitura destas proposições. Também para evitar ambiguidades, por convenção, assume-se que os 
conectivos possuem ordem de precedência em uma expressão simbólica, além disto, o valor lógico de uma 
proposição composta depende exclusivamente do valor lógico das proposições simples que a compõem. 
 
Sabendo-se que: p: o número 3 é menor que o número 7; q: a raiz quadrada de 49 é 7 e r. o número 15 é um número par 
 
I. p ^ r ~ q V r. 
II. (p ^ q) ^ ~ (p V q). 
III. (p q) ^ p q. 
 
Respectivamente, os valores lógicos das proposições compostas acima são: 
 
A) V, V, V. 
B) F, F, F. 
C) V, F, V. 
D) V, F, F. 
E) F, V, V. 
 
P) Veja o argumento a seguir: 
 
"Se o sujeito é baixo, então ele é infeliz. Se sujeito é infeliz, então ele morre cedo. Logo, os baixos morrem cedo” 
 
A validade do argumento pode ser verificada por qual regra de inferência? 
 
A) Simplificação (SIMP). 
B) Adição (AD). 
C) Modus tollens (MT). 
D) Silogismo hipotético (SH). 
E) Modus ponens (MP). 
 
P) Qual das proposições abaixo é equivalente a p? 
 
A) ~p ^ (p ∨ q) 
B) p ^ ~(p ∨ q) 
C) p ^ (p ∨ q) 
D) ~p ∨ (p ^ q) 
E) p ∨ ~(p ∨ q) 
 
P) Veja o argumento a seguir: 
 
“Chove, então fico resfriado. Não fiquei resfriado, logo, não choveu.” 
 
A validade do argumento pode ser verificada por qual regra de inferência? 
 
A) Simplificação (SIMP). 
B) Adição (AD). 
C) Modus tollens (MT). 
D) Silogismo hipotético (SH). 
E) Modus ponens (MP). 
 
P) 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 composta é tautológica é construir 
sua a tabela-verdade. Sejam as proposições compostas abaixo. 
 
I. (p V q) → p 
II. (p ꓥ q) → p 
III. (p ꓥ q) → (p V q) 
 
Podemos afirmar que é TAUTOLÓGICA, ou que são TAUTOLÓGICAS, as alternativas: 
 
A) I, II e III. 
B) I e III. 
C) Il e III 
D) Apenas I. 
E) Apenas III. 
 
P) Em lógica dizemos que uma proposição composta P implica em outra proposição composta Q, quando a 
condicional entre elas for uma tautologia. 
 
Porque a tabela-verdade de uma condicional p → q garante que o valor lógico da proposição composta só será falso (F) 
se p tiver valor lógico (V) e q valor lógico (F). 
 
A) As duas afirmações são proposições verdadeiras, e a segunda é uma conclusão correta da primeira. 
B) As duas afirmações são proposições verdadeiras, e a segunda não é uma conclusão correta da primeira. 
C) A primeira afirmação é uma proposição verdadeira, e a segunda é uma proposição falsa. 
D) A primeira afirmação é uma proposição falsa, e a segunda é uma proposição verdadeira. 
E) As duas afirmações são proposições falsas. 
 
P) 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. 
 
I. Se estiver chovendo, então terei que ficar em casa. 
II. Carla, ligue para o Paulo e peça o número da matrícula dele 
III. Marcos tomou o seu café da manhã e saiu para jogar futebol. 
IV. A maioria dos acidentes de trânsito ocorre por falta de atenção. 
 
São exemplos de proposições compostas as expressões: 
 
A) I, II e III. 
B) II, III e IV. 
C) I e II. 
D) I e III. 
E) III e IV. 
 
P) Utilizando a tabela-verdade abaixo, qual dos argumentos é válido? 
 
 
 
A) ~p → q, r → ~q |-------- r → ~p 
B) p → ~q, r → ~q |-------- r → ~p 
C) p → q, ~r → ~q |-------- r → ~p 
D) p → q, r → q |-------- r → ~p 
E) p → q, r → ~q |-------- r → ~p 
 
P) Qual das proposições abaixo é equivalente a p → q? 
 
A) ~p V q 
B) p ꓥ ~q 
C) q → p 
D) ~p ꓥ q 
E) p V ~q 
 
P) A negação da proposição “Todo careca é infeliz” é: 
 
A) Nenhum careca é infeliz. 
B) Todo cabeludo é feliz. 
C) Nenhum cabeludo é infeliz. 
D) Existe algum careca feliz. 
E) Existe algum cabeludo infeliz. 
 
P) Um dos princípios fundamentais da lógica, o princípio do terceiro excluído, afirma que toda proposição possui 
valor lógico verdadeiro ou valor falso. No caso das proposições compostas, o valor lógico da combinação, depende 
exclusivamente dos valores lógicos das proposições simples que a compõem. Sabendo-se que o valor lógico da 
proposição composta: “Se carlos trabalha no hospital, então ele é médico” é falso, pode afirmar que: 
 
A) Carlos é médico. 
B) Carlos trabalha no hospital. 
C) Carlos trabalha no hospital e não é médico. 
D) Carlos não trabalha no hospital e não é médico. 
E) Carlos não trabalha no hospital e é médico. 
 
P) Para se ter uma proposição composta tautológica, é necessário que o seu valor lógico seja sempre verdadeiro, 
sejam quais forem os valores lógicos das proposições simples que a compõem, da mesma forma, é dito que uma 
proposição composta é contraditória quando seu valor lógico for sempre falso, independentemente da combinação 
dos valores lógicos de suas proposições simples. se o valor lógico da proposição composta depender do valor lógico 
de cada proposição, então tem-se uma contingência. 
 
I . (p → q) → (p → q V r) 
II. ((~p → q) ^ p) →~q. 
III. (p ⇿ q) ^ p → q. 
 
Respectivamente, nas proposições acima temos: 
 
A) Tautologia, contingência e contradição. 
B) Tautologia, contingência e tautologia. 
C) Contingência, tautologia e contradição. 
D) Contradição, tautologia e contingência. 
E) Contingência, tautologia e contingência. 
 
P) A lógica clássica possui três princípios fundamentais: o princípio da identidade estabelece que todo projeto é 
idêntico a si mesmo; o segundo, o princípio da não contradição, nos ensina que uma proposição não pode ser falsa 
e verdadeira simultaneamente. o princípio que estabelece que uma proposição ou é falsa, ou é verdadeira se chama: 
 
A) Princípio fundamental. 
B) Princípio do terceiro excluído. 
C) Princípio da bipolaridade. 
D) Princípio da exclusão. 
E) Princípio das proposições excludentes. 
 
P) Augustus de Morgan foi um matemático britânico que contribuiu muito para o desenvolvimento da ideia de 
indução matemática. As leis de Morgan são muito utilizadas até hoje no desenvolvimento de programas de 
computadores, e sua maior contribuição foi demonstrar que a negação de uma conjunção é equivalente a disjunção 
de suas negações; e, que a negação de uma disjunção é equivalente à conjunção de suas negações. Sendo a 
expressão: “Paulo tomou um café e foi para o trabalho”, a NEGAÇÃO” desta expressão de acordo com a lógica 
proposicional é: 
 
A) Paulo não tomou café e foi para o trabalho. 
B) Paulo não tomou café e não foi para o trabalho. 
C) Paulo tomou café ou não foi para o trabalho. 
D) Paulo não tomou café ou foi para o trabalho. 
E) Paulo não tomou café ou não foi para o trabalho. 
 
P) Dos argumentos abaixo, qual deles é válido? 
 
A) p → q |------ p ^ ~q 
B) (p → q), (q → p) |------ p V r 
C) (p v q) |------ p ^ ~q 
D) ~(p → q) |------ p ^ q 
E) p → q |------ ~p V q 
 
P) As regras de interferência são formas elementares de argumentos que poder ser 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 de inferência Modus ponens (MP): p → q, p ⊢ q, 
facilmente constatamos que a condicional associada ao argumento é uma tautologia. 
 
Sejam as premissas de um argumento: “Se João almoçar, então irá para a escola. João almoçou.” A (...) deste 
argumento, para que seja VÁLIDO é: 
 
A) Logo, João não almoçou 
B) Logo, João almoçou e não foi para a escola 
C) Logo, João não foi para a escola 
D) Logo, João foi para a escola 
E) Logo, João não almoçou e não foi para a escola 
 
P) 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. 
 
I - Uma sentença aberta assumirá o valor lógico verdadeiro ou falso dependendo do valor da variável. 
II - Sentenças abertas podem ser consideradas como proposições, se as variáveis forem atribuídos valores que possibilitem 
que a sentença assuma valor lógico verdadeiro ou valor lógico falso. 
 
A) As duas afirmações são proposições verdadeiras, e a segunda não é uma conclusão correta da primeira. 
B) A primeira afirmação é uma proposição verdadeira, e a segunda é uma proposição falsa. 
C) A primeira afirmação é uma proposição falsa, e a segunda é uma proposição verdadeira. 
D) As duas afirmações são proposições falsas. 
E) As duas afirmações são proposições verdadeiras, e a segunda é uma conclusão correta da primeira. 
 
P) As proposições compostas são aquelas formadas por duas ou mais proposições simples. Na construção de 
tabelas-verdade de uma proposição composta por 5 (cinco) proposições simples P(q,r,s,t,u), quantas linhas deverão 
ser consideradas? 
 
A) 2 
B) 4 
C) 5 
D) 32 
E) 0 
 
P) A negação de uma proposição com quantificadores pode ser encontrada pelas segundas regras de negação de 
Morgan: 
 
~ [(∀ x ∈ A) (p(x))] ⇿ (∃ x ∈ A) (~ p(x)) 
~ [(∃ x ∈ A) (p(x))] ⇿ (∀x ∈ A) (~ p(x)) 
 
Se não é verdade que “Todas as pessoas que trabalham em TI são formadas em Análise de Sistemas”, então é 
necessariamente VERDADE que: 
 
A) Nenhuma pessoa que trabalha em TI é formada em Análise de Sistemas. 
B) Todas as pessoas de TI são formadas em Análise de Sistemas. 
C) Ninguém formada em Análise de Sistemas trabalha em TI. 
D) Alguma pessoa formada em Análise de Sistemas trabalha em TI. 
E) Alguma pessoa que trabalha em TI não éformada em Análise de Sistemas. 
 
P) Qual das proposições abaixo é equivalente a p ⇿ q? 
 
A) ~p v q ⇿ (p → q) 
B) p^ ~q 
C) (p → q) v (q → p) 
D) ~(p v q) ? 
E) Q 
 
P) Para validar um argumento, é necessário saber a sua forma, O estudo da lógica não se preocupa 
se as premissas e a conclusão são verdadeiras ou falsas. Para análise da validade ou não de um argumento, 
assume-se que as premissas têm valor lógico sempre verdadeiro. Considere as seguintes premissas: 
 
P1: Se Mário vai ao cinema, então Paula não fica em casa 
P2: Se Paula não fica em casa, então Ana vai trabalhar. 
P3: Ou Ana não vai trabalhar ou Carlos vai viajar. 
P4: Carlos não vai viajar. 
 
Logo, para um argumento VÁLIDO, pode-se concluir que: 
 
A) Ana vai trabalhar 
B) Ana não foi viajar 
C) Mário foi trabalhar 
D) Paula ficou em casa 
E) Carlos foi viajar 
 
P) Qual das proposições abaixo é equivalente a p V q? 
 
A) ~ p v q ⇿ p → q 
B) p ^ ~ q 
C) ~((p → q) ^ (q → p)) 
D) ~ p ^ q 
E) q 
 
P) Conectivos são palavras usadas para formar proposições compostas a partir de preposições simples. Um dos 
princípios fundamentais da Lógica, o princípio do terceiro excluído, afirma que toda 
proposição possui valor lógico verdadeiro ou valor lógico falso. Seja p: Maria é cientista e q: Pedro é médico. 
 
Assinale a alternativa INCORRETA com relação ao uso dos conectivos: 
 
A) Se o valor lógico da proposição p é falso e da proposição q também é falso, então a disjunção entre p e q tem 
valor falso. 
B) Se o valor lógico da proposição p é falso e da proposição q também é falso, então a conjunção entre p e q tem 
valor falso. 
C) Se o valor lógico da proposição p é falso e da proposição q é verdadeiro, então a condicional entre p e q tem 
valor verdadeiro. 
D) Se o valor lógico da proposição p é falso e da proposição q é verdadeiro, então a disjunção entre p e q tem 
valor falso 
E) Se o valor lógico da proposição p é verdadeiro e da proposição q é verdadeiro, então a conjunção entre p e q tem 
valor verdadeiro. 
 
P) 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. 
É um exemplo de atribuição de valor lógico FALSO a alternativa: 
 
A) Existe x ϵ Z tal que x + 4 = -4. 
B) Para todo x ϵ N temos que x > -1 
C) Para algum x ϵ R temos que x < -5 
D) Existe x ϵ R tal que 3x + 5 = 15 
E) Para algum x ϵ N temos que + 16 = 0 
 
P) O valor lógico de uma proposição composta é determinado exclusivamente pelo valor lógico das proposições 
simples que a compõem, com isto, se é conhecido o valor lógico das proposições simples é possível determinar o 
valor lógico da proposição composta. 
 
Sejam os valores lógicos das proposições simples: V(p) = V; V(q) = V e V(r) = V, podemos afirmar que o valor 
lógico da proposição composta “ ~ (p V q) r “ é VERDADEIRO? 
 
A) Sim, pois a conjunção de um valor lógico falso com um valor lógico verdadeiro sempre resultará em um valor 
lógico verdadeiro. 
B) Não, pois a negação faz com que a proposição assuma valor falso. 
C) Sim, pois todos os valores das proposições são verdadeiros. 
D) Não, pois a disjunção de valores lógicos iguais resultará em um valor lógico verdadeiro. 
E) Sim, pois a condicional de um valor lógico falso com um valor lógico verdadeiro sempre resultará em um 
valor lógico verdadeiro. 
 
P) A negação da proposição "Alguns professores são bonitos" 
 
A) Todos os professores são bonitos. 
B) Nenhum professor é bonito. 
C) Alguns professores são bonitos 
D) Existe um professor bonito. 
E) Existe pelo menos um professor bonito. 
 
QUESTÕES 2023 
 
P) Algum técnico é analista. Todos os técnicos são formados. Considerando essas premissas, é correto afirmar que: 
 
A) Todo analista é técnico. 
B) Algum técnico é formado. 
C) Todos os formados são técnicos. 
D) Nenhum técnico é analista. 
E) Nenhum técnico é formado. 
 
P) Se Júlio está no laboratório, então Ana não faz a coleta de amostras. Samanta não lê um artigo científico ou 
Ana faz a coleta de mostras. Ora, Samanta lê um artigo científico. Portanto 
 
A) Júlio está no laboratório e Samanta não lê um artigo científico. 
B) Júlio não está no laboratório e Samanta lê um artigo científico. 
C) Júlio não está no laboratório e Ana não faz a coleta de amostra. 
D) Samanta não lê um artigo científico e Ana não faz a coleta de amostras. 
E) Ana não faz a coleta de amostras e Samanta não lê um artigo científico. 
 
P) Considere a expressão lógica S = a ⇿ ~b, que representa o circuito digital, que seria des(...) um projetista. Sabe-
se que o operador “não” é prioritário em relação ao operador “se e somente se” a verdadeiro e b falso, qual a 
expressão nos leva corretamente ao valor lógico da saída S? 
 
A) S = a ⇿ ~b = v ⇿ ~f = v ⇿f = f 
B) S = a ⇿ ~b = v ⇿ ~f = v ⇿ v = v 
C) S = a ⇿ ~b = v ⇿ ~v = f ⇿ v = f 
D) S = a ⇿ ~b = f ⇿ ~f = f ⇿ v = v 
E) S = a ⇿ ~b = f ⇿ ~v = f ⇿ f = v 
 
P) Do ponto de vista da lógica formal, uma proposição pode ser definida como uma sentença declara(...) 
classificada como verdadeira ou falsa, assumindo um, e apenas um, desses dois valores lógicos. Dessa fo(...) 
sentenças imperativas ou interrogativas não são consideradas proposições. Sentenças abertas desacompanhad(...) 
quantificadores também não são proposições, assim como frases que não transmitem ideias completas. (...) 
contexto, assinale a alternativa que apresenta uma proposição: 
 
A) Há mais de 200 satélites naturais no Sistema Solar. 
B) Quantos satélites naturais há no Sistema Solar? 
C) Estude astronomia. 
D) Netuno. 
E) x + y = 11 
 
P) Avalie as afirmativas a seguir, que trazem proposições lógicas. 
 
I. Curitiba não é a capital da Bahia 
II. Ou o número 2 é par, ou o número 10 é ímpar 
III. Aracajú é a capital de Sergipe e Santos a capital de São Paulo 
 
Levando em conta os operadores e o valor lógico das proposições componentes, é verdade o que se(...) 
 
A) I, apenas. 
B) II, apenas. 
C) III, apenas. 
D) I e II, apenas. 
E) II e III, apenas. 
 
P) Considere as premissas verdadeiras a seguir: 
 
P1: Se Juliana é ortopedista, então ela é médica. 
P2: Juliana é médica 
 
Apenas com base nas premissas, qual das alternativas a seguir é necessariamente verdadeira? 
 
A) Juliana é ortopedista 
B) Juliana não é ortopedista 
C) Juliana não pode ser ortopedista 
D) Juliana não é médica 
E) Há a possibilidade de Juliana ser ortopedista. 
 
P) Considere a proposição simples P. É uma contradição a proposição composta descrita em: 
 
A) p V ~p 
B) p ^ ~p 
C) ~ (p ^ ~p) 
D) p ⇾ ~p 
E) p ⇾ p 
 
P) A negação da proposição “Todo biólogo é cientista, de acordo com as regras da lógica para quantificadores, é: 
 
A) Todo biólogo não é cientista. 
B) Todo cientista é biólogo. 
C) Algum biólogo é cientista. 
D) Algum biólogo não é cientista. 
E) Algum cientista não é cientista. 
 
P) Entre as alternativas a seguir, assinale aquela que apresenta uma sentença quantificada existencialmente 
 
A) Qualquer engenheiro sabe matemática 
B) Todo jornalista sabe escrever 
C) Posso ser atendida por qualquer profissional 
D) Todos os instrutores são gentis 
E) Pelo menos um engenheiro é também jornalista. 
 
P) James é vocalista ou Uli não é guitarrista. Uli é guitarrista e Mark é baterista. Portanto: 
 
A) James não é vocalista. 
B) Uli não é guitarrista. 
C) Mark não é baterista. 
D) James não é vocalista e Mark não é baterista. 
E) James é vocalista e Uli é guitarrista. 
 
P) Considere a expressão S = (ã V b) ⇾ c, que representa a expressão lógica a ser testada em um comando de um 
código fonte. Se tivermos a verdadeiro, b falso e c verdadeiro, qual expressão nos leva corretamente ao valor lógico 
da saída S? 
 
A) S = (~a V b) ⇾ c = (~f V f) ⇾ v = (~f V f) ⇾ v = v ⇾ v = v 
B) S = (~a V b) ⇾ c = (~v V f) ⇾ v = (~f V v) ⇾ v = v ⇾ v = f 
C) S = (~a V b) ⇾ c = (~v V f) ⇾ f = (~v V f) ⇾ v = f ⇾v = f 
D) S = (~a V b) ⇾ c = (~v V f) ⇾ v = (~f V f) ⇾ v = f ⇾ v = v 
E) S = (~a V b) ⇾ c = (~v V v) ⇾ v = (~v V v) ⇾ v = v ⇾ v = v 
 
P) Em determinada universidade, são verdadeiras as afirmações a seguir: 
- Qualquer doutor sabe escrever trabalhos acadêmicos 
- Ninguém sabe escrever trabalhos acadêmicos é físico teórico. 
Nesse contexto, é correto concluir que, nessa universidade: 
 
A) Todo físico teórico é doutor. 
B) Todos que sabem escrever trabalhos acadêmicos são doutores. 
C) Algum físico teórico é doutor. 
D) Nenhum doutor é físico teórico. 
E) Todos que sabem escrever trabalhos acadêmicos são físicos teóricos. 
 
P) Entre as alternativas a seguir, assinale aquela que apresenta uma sentença quantificada universalmente 
 
A) Pelo menos uma das fisioterapeutas dá aulas de pilates. 
B) Algum profissional faltou hoje. 
C) Existe um educador físico na academia. 
D) Qualquer instrutor é educador físico. 
E) Há pelo menos um fisioterapeuta que também é educador físico. 
 
P) Considere os seguintes números naturais: 8, 10, 12 e 14. Qual alternativa apresenta uma sentença (...) 
quantificada verdadeira: 
 
A) Qualquer número é ímpar 
B) Qualquer número é maior do que 10 
C) Pelo menos um número é maior do que 12. 
D) Existe um número que é maior do que 14 
E) Todo número é irracional. 
 
P) Considere três proposições simples, identificadas como p,q e r. Objetiva-se construir uma tabela verdade para 
avaliar os valores lógicos que a proposição composta p ^ ~r ⇾ q pode assumir. 
Nesse contexto, avalie as afirmativas a seguir: 
 
I. A tabela-verdade da proposição composta terá 4 linhas. 
II. A tabela-verdade da proposição composta terá 8 linhas 
III. A proposição p ^ ~r ⇾ q representa uma contingência. 
 
Está correto apenas o que se afirma em: 
 
A) I 
B) II 
C) III 
D) I e II 
E) II e III 
 
P) Considere o conjunto dos números naturais. Nesse contexto, qual das sentenças quantificadas é logicamente 
verdadeira? 
 
A) Todo número natural é par 
B) Todo número natural é ímpar 
C) Existe pelo menos um número natural irracional 
D) Há pelo menos um número natural igual a 1/2 
E) Qualquer número natural é inteiro. 
 
P) Considere a disjunção exclusiva “Ou Sandra é paulistana, ou é carioca”. Considerando a equivalência notável 
a ↔ b ⇔ ~(a v b), a negação da disjunção exclusiva apresentada será dada por 
 
A) Se Sandra é paulistana, então ela é carioca. 
B) Se Sandra é paulistana, então ela não é carioca. 
C) Se Sandra é paulistana ou carioca. 
D) Se Sandra é paulistana se, e somente se, ela for carioca. 
E) Se Sandra não é carioca, então ela é paulistana. 
 
P) Considere os seguintes números inteiros: -3, -2, -1, 0, 1, e 2. Qual alternativa apresenta uma sentença 
quantificada verdadeira? 
 
A) Qualquer número é maior que 1. 
B) Qualquer número é menor que 3. 
C) Todo número é maior que 0. 
D) Existe um número irracional. 
E) Há pelo menos um número maior que 2. 
 
P ) Dada a frase a seguir, com estrutura p v q, selecione a alternativa que expresse corretamente a sentença ~p ꓥ 
~q. 
“Rafael estuda física ou Sérgio estuda astronomia.” 
 
A) Rafael não estuda física ou Sérgio estuda astronomia. 
B) Se Rafael estuda física, então Sérgio estuda astronomia. 
C) Rafael estuda física e Sérgio não estuda astronomia. 
D) Rafael estuda física se, e somente se, Sérgio estuda astronomia. 
E) Rafael não estuda física e Sérgio não estuda astronomia. 
 
P) Considere as premissas verdadeiras a seguir. 
 
P1: Se Heloisa é farmacêutica, então ela é uma profissional de saúde. 
P2: Heloisa não é farmacêutica. 
 
Apenas com base nas premissas, qual das alternativas a seguir é necessariamente verdadeira? 
 
A) Heloisa não é profissional de saúde. 
B) Heloisa pode ser profissional de saúde. 
C) Heloisa é farmacêutica. 
D) Não há possibilidade de Heloisa ser profissional de saúde. 
E) Heloisa é profissional de saúde. 
 
P) Considere o argumento a seguir, onde P1 e P2 são premissas e Q é a conclusão. 
 
P1: r → ~s 
P2: ~t ∧ r 
Q: ~s 
 
A validade do argumento pode ser deduzida, respectivamente, a partir da aplicação de quais regras de inferência? 
 
DADOS – Regras de inferência (no formato P1, P2, ..., Pn ) 
União a, b ⊢ a ^ b 
Modus Ponens a ⇾ b, a ⊢ b 
Modus Tollens a ⇾ b, ~b ⊢ ~a 
Adição a ⊢ a V b 
Simplificação a ^ b ⊢ a ou a ^ b ⊢ b 
Silogismo hipotético a ⇾ b , b ⇾ c ⊢ a ⇾ c 
Silogismo Disjuntivo a V b, ~a ⊢ b ou a V b, ~b ⊢ a 
Dilema Construtivo a ⇾ b , c ⇾ d, a V c ⊢ b v d 
Dilema Destrutivo a ⇾ b , c ⇾ d , ~b V ~d ⊢ ~a V ~c 
Regra de Absorção a ⇾ b ⊢ a ⇾ (a ^ b) 
 
A) Simplificação, Modus Ponens. 
B) Modus Tollens, Simplificação. 
C) Regra da Absorção, Silogismo Hipotético. 
D) Adição, Dilema Destrutivo. 
E) Adição, Silogismo Disjuntivo. 
 
P) Considere o argumento a seguir, onde P1 e P2 são premissas e Q é a conclusão. 
 
P1: r ∧ ~s 
P2: s ∨ t 
Q: t 
 
A validade do argumento pode ser deduzida, respectivamente, a partir da aplicação de quais regras de inferência? 
 
DADOS – Regras de inferência (no formato P1, P2, ..., Pn ) 
União a, b ⊢ a ^ b 
Modus Ponens a ⇾ b, a ⊢ b 
Modus Tollens a ⇾ b, ~b ⊢ ~a 
Adição a ⊢ a V b 
Simplificação a ^ b ⊢ a ou a ^ b ⊢ b 
Silogismo hipotético a ⇾ b , b ⇾ c ⊢ a ⇾ c 
Silogismo Disjuntivo a V b, ~a ⊢ b ou a V b, ~b ⊢ a 
Dilema Construtivo a ⇾ b , c ⇾ d, a V c ⊢ b v d 
Dilema Destrutivo a ⇾ b , c ⇾ d , ~b V ~d ⊢ ~a V ~c 
Regra de Absorção a ⇾ b ⊢ a ⇾ (a ^ b) 
 
A) Silogismo Disjuntivo, Modus Ponens. 
B) Modus Tollens, Tegra da Absorção. 
C) Simplificação, Silogismo Disjuntivo. 
D) Dilema Construtivo, Dilema Destrutivo. 
E) Adição, Silogismo Hipotético. 
 
P) Em determinada universidade, são verdadeiras as afirmações a seguir. 
- Nem todos os professores são físicos. 
- Todos os físicos são doutores. 
 
Nesse contexto, é correto concluir que, nessa universidade: 
 
A) Todos os professores são físicos. 
B) Todos os doutores são físicos. 
C) Todos os físicos são professores. 
D) Nenhum doutor é físico. 
E) Algum doutor é físico. 
 
P) Considere o conjunto dos números naturais. Nesse contexto, qual das sentenças quantificadas é logicamente 
verdadeira? 
 
A) Todo número natural é par. 
B) Todo número natural é ímpar. 
C) Existe pelo menos um número natural irracional. 
D) Há pelo menos um número natural igual 𝑎
1
2. 
E) Qualquer número natural é inteiro. 
 
P) Quando uma proposição apresenta apenas uma ideia que não pode ser subdividida, temos uma proposição 
simples. É possível unirmos proposições simples utilizando conectivos lógicos. Esses conectivos, também chamados 
de operadores são palavras que empregamos na nossa linguagem cotidiana, que ganham destaque no estudo da 
lógica por serem capazes de formar proposições compostas. Considerando esse contesto, avalie as proposições 
logicas a seguir. 
 
I. A Terra é um planeta do Sistema Solar. 
II. Se João é físico, então sabe matemática. 
III. Isabela tem 1,65 m de altura. 
IV. Laura é cientista e Paulo é farmacêutico. 
 
São proposições compostas as afirmativas: 
 
A) I e II, apenas. 
B) II e III, apenas. 
C) II e IV, apenas. 
D) II, III e IV, apenas. 
E) I, II, III e IV. 
 
P) Considere a proposição "se uma citação foi feita, então a referência bibliográfica foi adicionada". O número de 
linhas da tabela-verdade que corresponde à proposição é igual a: 
 
A) 1 
B) 2 
C) 4 
D) 8 
E) 16 
 
P) Considere que p é uma proposição falsa e que q é uma proposição verdadeira. De acordo com a lógica 
proposicional e os conectivos lógicos, é correto afirmar que 
 
A) p → q é verdadeira. 
B) P ↔ q é verdadeira. 
C) P Ʌ q é verdadeira. 
D) P V é falsa. 
E) P V é falsa. 
 
P) Considerando os símbolos dos conectivos utilizados na lógica, assinale a alternativa cujo valor lógico é 
verdadeiro. 
 
A) O urso é um animal Λ 3 é maior que 11. 
B) Belo Horizonte é a capital do Ceará V 100 é menor que 70. 
C) Brasília é a capital do Brasil → 100 é maior que 200. 
D) 4 é maior que 12 ↔ 4 é menor que12. 
E) São Paulo é uma cidade do Brasil Ʌ 0 é menor que 1. 
 
P) Um argumento da lógica proposicional é formado por premissas (P1, P2, ..., Pn) e uma conclusão (Q). Um 
argumento é considerado válido quando P1 ^ P2 ^... ^ Pn ⇾ Q é uma tautologia, ou seja, quando a conjunção das 
premissas implica a conclusão. Alguns argumentos fundamentais, conhecidos como Regras de interferência, são 
usados corretamente em lógica proposicional para fazer deduções. Seja o seguinte argumento da lógica, 
proposicional: 
 
P1: Se rosa vai ao mercado, então João faz o jantar. 
P2: João não fez o jantar. 
Q: Logo, Rosa não foi ao mercado. 
 
DADOS – Regras de inferência (no formato P1, P2, ..., Pn ) 
 
União a, b ⊢ a ^ b 
Modus Ponens a ⇾ b, a ⊢ b 
Modus Tollens a ⇾ b, ~b ⊢ ~a 
Adição a ⊢ a V b 
Simplificação a ^ b ⊢ a ou a ^ b ⊢ b 
Silogismo hipotético a ⇾ b , b ⇾ c ⊢ a ⇾ c 
Silogismo Disjuntivo a V b, ~a ⊢ b ou a V b, ~b ⊢ a 
Dilema Construtivo a ⇾ b , c ⇾ d, a V c ⊢ b v d 
Dilema Destrutivo a ⇾ b , c ⇾ d , ~b V ~d ⊢ ~a V ~c 
Regra de Absorção a ⇾ b ⊢ a ⇾ (a ^ b) 
 
A) Modus Ponens 
B) Modus Tollens 
C) Dilema Construtivo 
D) Dilema Destrutivo 
E) Silogismo Hipotético 
 
P) Um argumento da lógica proposicional é formado por premissas (P1, P2, ..., Pn) e uma conclusão (Q). Um 
argumento é considerado válido quando P1 ^ P2 ^... ^ Pn ⇾ Q é uma tautologia, ou seja, quando a conjunção das 
premissas implica a conclusão. Alguns argumentos fundamentais, conhecidos como Regras de interferência, são 
usados corretamente em lógica proposicional para fazer deduções. Seja o seguinte argumento da lógica, 
proposicional: 
 
P1: Rosa vai ao mercado ou João faz o jantar. 
P2: João não fez o jantar. 
Q: Logo, Rosa foi ao mercado. 
 
DADOS – Regras de inferência (no formato P1, P2, ..., Pn ) 
 
União a, b ⊢ a ^ b 
Modus Ponens a ⇾ b, a ⊢ b 
Modus Tollens a ⇾ b, ~b ⊢ ~a 
Adição a ⊢ a V b 
Simplificação a ^ b ⊢ a ou a ^ b ⊢ b 
Silogismo hipotético a ⇾ b , b ⇾ c ⊢ a ⇾ c 
Silogismo Disjuntivo a V b, ~a ⊢ b ou a V b, ~b ⊢ a 
Dilema Construtivo a ⇾ b , c ⇾ d, a V c ⊢ b v d 
Dilema Destrutivo a ⇾ b , c ⇾ d , ~b V ~d ⊢ ~a V ~c 
Regra de Absorção a ⇾ b ⊢ a ⇾ (a ^ b) 
 
A) Modus Ponens 
B) Modus Tollens 
C) Silogismo Hipotético. 
D) Silogismo Disjunto. 
E) Regra da Absorção. 
 
P) Um argumento da lógica proposicional é formado por premissas (P1, P2, ..., Pn) e uma conclusão (Q). Um 
argumento é considerado válido quando P1 ^ P2 ^... ^ Pn ⇾ Q é uma tautologia, ou seja, quando a conjunção das 
premissas implica a conclusão. Alguns argumentos fundamentais, conhecidos como Regras de interferência, são 
usados corretamente em lógica proposicional para fazer deduções. Seja o seguinte argumento da lógica, 
proposicional: 
 
P1: Se rosa vai ao mercado, então João faz o jantar. 
P2: Rosa vai ao mercado. 
Q: Logo, João faz o jantar. 
 
DADOS – Regras de inferência (no formato P1, P2, ..., Pn ) 
 
União a, b ⊢ a ^ b 
Modus Ponens a ⇾ b, a ⊢ b 
Modus Tollens a ⇾ b, ~b ⊢ ~a 
Adição a ⊢ a V b 
Simplificação a ^ b ⊢ a ou a ^ b ⊢ b 
Silogismo hipotético a ⇾ b , b ⇾ c ⊢ a ⇾ c 
Silogismo Disjuntivo a V b, ~a ⊢ b ou a V b, ~b ⊢ a 
Dilema Construtivo a ⇾ b , c ⇾ d, a V c ⊢ b v d 
Dilema Destrutivo a ⇾ b , c ⇾ d , ~b V ~d ⊢ ~a V ~c 
Regra de Absorção a ⇾ b ⊢ a ⇾ (a ^ b) 
 
A) Modus Ponens 
B) Modus Tollens 
C) Dilema Construtivo 
D) Dilema Destrutivo 
E) Silogismo Hipotético 
 
P) Um argumento da lógica proposicional é formado por premissas (P1, P2, ..., Pn) e uma conclusão (Q). Um 
argumento é considerado válido quando P1 ^ P2 ^... ^ Pn ⇾ Q é uma tautologia, ou seja, quando a conjunção das 
premissas implica a conclusão. Alguns argumentos fundamentais, conhecidos como Regras de interferência, são 
usados corretamente em lógica proposicional para fazer deduções. Seja o seguinte argumento da lógica, 
proposicional: 
 
P1: Se rosa vai ao mercado, então João faz o jantar. 
P2: Se João faz o jantar, então Ana vai para casa. 
Q: Logo, se Rosa vai ao mercado, então Ana vai para casa. 
 
DADOS – Regras de inferência (no formato P1, P2, ..., Pn ) 
União a, b ⊢ a ^ b 
Modus Ponens a ⇾ b, a ⊢ b 
Modus Tollens a ⇾ b, ~b ⊢ ~a 
Adição a ⊢ a V b 
Simplificação a ^ b ⊢ a ou a ^ b ⊢ b 
Silogismo hipotético a ⇾ b , b ⇾ c ⊢ a ⇾ c 
Silogismo Disjuntivo a V b, ~a ⊢ b ou a V b, ~b ⊢ a 
Dilema Construtivo a ⇾ b , c ⇾ d, a V c ⊢ b v d 
Dilema Destrutivo a ⇾ b , c ⇾ d , ~b V ~d ⊢ ~a V ~c 
Regra de Absorção a ⇾ b ⊢ a ⇾ (a ^ b) 
 
A) Modus Ponens 
B) Modus Tollens 
C) Dilema Construtivo 
D) Dilema Destrutivo 
E) Silogismo Hipotético 
 
P) Considere duas proposições simples p e q, uma sentença composta R e a tabela – verdade a seguir. 
 
p q R 
V V F 
V F F 
F V F 
F F V 
 
Considere agora as afirmações seguintes. 
I - R é ~(p V q) 
II - R é ~p ꓥ ~q 
III - R é ~(p ꓥ q) 
 
Nesse contexto, é correto afirmar que: 
 
A) Apenas I é verdadeira. 
B) Apenas II é verdadeira. 
C) Apenas III é verdadeira. 
D) Apenas I e II são verdadeiras. 
E) I, II e III são verdadeiras. 
 
P) O diagrama de Venn-Euler a seguir representa o comportamento de uma operação lógica. 
 
 
 
Qual é essa operação? 
 
A) Conjunção 
B) Disjunção inclusiva 
C) Disjunção exclusiva 
D) Condicional 
E) Bicondicional 
 
P) O diagrama de Venn-Euler a seguir representa o comportamento de uma operação lógica 
 
 
 
Qual é essa operação? 
 
A) Conjunção 
B) Disjunção inclusiva 
C) Disjunção exclusiva 
D) Condicional 
E) Bicondicional 
 
P) Está representada, a seguir, a tabela-verdade incompleta da proposição composta a↔ b v c 
 
Com base na lógica proposicional, é possível dizer que, para completar a última coluna da tabela-verdade, de 
forma correta, os valores lógicos que faltam, na origem de cima para baixo, são. 
 
A) F – V – V – F 
B) F – V – F – F 
C) F – F – F – F 
D) V – V – V – V 
E) V – V – F – F 
 
P) A negação da proposição “Há pelo menos um hematologista que não é médico”, de acordo com as regras da 
lógica para quantificadores é: 
 
A) Todo hematologista é médico. 
B) Existe um hematologista que não é médico. 
C) Todo médico é hematologista. 
D) Todo hematologista não é médico. 
E) Qualquer hematologista não é médico. 
 
P) A proposição composta ~(𝒑 ∧ 𝟗) → 𝒒: 
 
A) É equivalente à proposição q. 
B) Representa uma tautologia. 
C) Representa uma contradição 
D) Só é falsa quando p e q são verdadeiros. 
E) Só é falsa quando p é verdadeiro e q é falso. 
 
P) Na tabela-verdade a seguir, a e b são proposições simples e as letras V e F indicam, respectivamente, verdadeiro 
e falso. 
 
 
As proposições que condizem com I e II são, respectivamente: 
 
A) ~a, a → b 
B) ~a /\ b, a ↔ b 
C) a \/ b, a ⊻ ~b 
D) a ⊻ b, a /\ b 
E) a /\ b, a ↔ b 
 
P) Considere a proposição composta de A, disposta a seguir. 
A. Ana vai ao parque se e somente se Renata também for. 
Na tabela-verdade associada à proposição A, a quantidade de linhas que atribuem valor lógico verdadeiro a essa 
proposição é igual a: 
 
A) 1 
B) 2 
C) 3 
D) 4 
E) 8 
 
P) De acordo com a equivalência de De Morgan, ~( p /\ q) <=> ~ p \/ ~ q , uma afirmação que representa a negação 
da proposição “Maurício é comerciante e Marcos é matemático” é apresentada na alternativa. 
 
A) Maurício é comerciante ou Marcos não é matemático. 
B) Maurício não é comerciante ou Marcos é matemático. 
C) Maurício não é comerciante ou Marcos não é matemático. 
D) Maurício é comerciante e Marcos é matemático. 
E) Maurício é comerciante se, e somente se, Marcos é matemático.