Compilado_Lógica _V8 1-10-04-2023

Prévia do material em texto

MÚLTIPLA ESCOLHA - LÓGICA 
 
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) I 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 que 12. 
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 implicaa 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.