Matemática Discreta – AD1 – 2020/1

Questão 1 - Comentários e Resoluções

(a) Para cada enunciado abaixo, classifique-o como negação, conjunção, disjunção,
implicação ou bi-implicação. Reescreva o enunciado, de acordo com essa classi-
ficação.

Resoluções:

(i) Sempre que Ada vai ao cinema, Bia vai e Cel não vai, e reciprocamente.

Classificação: Bi-implicação.

Reescrita: Ada vai ao cinema se, e somente se, Bia vai ao cinema e Cel não vai ao
cinema.

(ii) Ada vai trazer a sobremesa ou a salada, ou Bia vai trazer a bebida ou a sobremesa.

Classificação: Disjunção.

Reescrita: Ada vai trazer a sobremesa ou Ana vai trazer a salada ou Bia vai trazer
a bebida ou Bia vai trazer a sobremesa.

Uma alternativa com parênteses: (Ada vai trazer a sobremesa ou Ana vai
trazer a salada) ou (Bia vai trazer a bebida ou Bia vai trazer a sobremesa).

(iii) Sem essa dos humanos descenderem dos macacos.

Classificação: Negação.

Reescrita: Os humanos não descendem dos macacos.

(iv) Ada não é uma pessoa atlética, porém não é sedentária.

Classificação: Conjunção.

Reescrita: Ada é uma pessoa e Ada não é atlética e Ada não é sedentária.

(v) Quando Ada acampa ou enfrenta longas viagens, ela dirige a sua van.

Classificação: Implicação.

Reescrita: Se Ada acampa ou Ada enfrenta longas viagens, então Ada dirige a sua
van.
 Comentários:

• Importante: Os enunciados componentes devem ser escritos de maneira com-

pleta. Por exemplo, ao invés de “Bia vai” deve ser “Bia vai ao cinema”. Não
levar isso em conta é um erro grave.

• O “não” pode ser reescrito como “não é caso que”.

• Pode ter parênteses ou pontuação “estranha” para enfatizar a estrutura do enun-

ciado.

• Observem que não foi pedida a simbolização, “apenas” a reescrita. Procurem

sempre responder somente ao que se pede nas questões. Procurem nem acrescen-
tar e nem eliminar itens.

• Importante: Em relação ao item (iv), como estamos ainda no inı́cio do contato

com o conteúdo de MD, soluções como:
Ada não é uma pessoa atlética e Ada não é sedentária.
ou
Ada não é uma pessoa atlética e Ada não é uma pessoa sedentária.
serão aceitas, para este item. Mas, como está dito explicitamente no material
didático de MD, cada propriedade deve corresponder a um enunciado compo-
nente. Em questões futuras, não levar isso em conta será considerado um erro
grave.

(b) Baseado na legenda

a : a peça 1 é azul
b : a peça 2 é azul
c : a peça 3 é azul
d : a peça 4 é azul
simbolize os enunciados abaixo.

Resoluções:

(i) Alguma das peças pares não é azul.

Simbolização:
(¬b) ∨ (¬d)

(ii) Nem todas as peças são azuis.

Simbolização:
(¬a) ∨ (¬b) ∨ (¬c) ∨ (¬d)

2
 Uma alternativa recorrente:
¬(a ∧ b ∧ c ∧ d)

(iii) A maioria das peças é azul, mas não todas.

Simbolização:
[a ∧ b ∧ c ∧ (¬d)] ∨ [a ∧ b ∧ (¬c) ∧ d] ∨ [a ∧ (¬b) ∧ c ∧ d] ∨ [(¬a) ∧ b ∧ c ∧ d]

(iv) Exatamente um número par de peças é azul.

Simbolização:

Para quem assumiu que 0 é par : [(¬a) ∧ (¬b) ∧ (¬c) ∧ (¬d)] ∨ [a ∧ b ∧ (¬c) ∧
(¬d)] ∨ [a ∧ (¬b) ∧ c ∧ (¬d)] ∨ [a ∧ (¬b) ∧ (¬c) ∧ d) ∨ [(¬a) ∧ b ∧ c ∧ (¬d)] ∨ [(¬a) ∧
b ∧ (¬c) ∧ d)] ∨ [(¬a) ∧ (¬b) ∧ c ∧ d)] ∨ (a ∧ b ∧ c ∧ d)

Para quem não assumiu que 0 é par : [a ∧ b ∧ (¬c) ∧ (¬d)] ∨ [a ∧ (¬b) ∧ c ∧ (¬d)] ∨
[a ∧ (¬b) ∧ (¬c) ∧ d) ∨ [(¬a) ∧ b ∧ c ∧ (¬d)] ∨ [(¬a) ∧ b ∧ (¬c) ∧ d)] ∨ [(¬a) ∧ (¬b) ∧
c ∧ d)] ∨ (a ∧ b ∧ c ∧ d)

(v) Uma peça ser azul é suficiente para a seguinte não ser.

Simbolização:
[a → (¬b)] ∧ [b → (¬c)] ∧ [c → (¬d)]

Comentários:

• Importante: Os únicos sı́mbolos admissı́veis são os usados no material didático

de MD. Nenhuma outra variante é aceitável. O uso de sı́mbolos alienı́genas é um
erro grave.

• Importante: Como a legenda já está dada e ela é do tipo utilizada na simbo-
lizaçãos de enunciados com (apenas) conectivos, a questão não envolve a simbo-
lização de quantificadores. Com a legenda dada, o uso de quantificadores é um
erro grave.

• Qualquer simbolização equivalente está correta. Para verificar as que não forem
óbvias, vocês podem acessar:
https://web.stanford.edu/class/cs103/tools/truth-table-tool/

c 2020 Márcia Cerioli e Petrucio Viana

Coordenação da Disciplina MD/CEDERJ-UAB