2012/1 – Matemática Discreta – AP1

Resoluções

1. (a) (1,0) Simbolize o seguinte enunciado:

Eu gosto de MD e; como eu gosto de MD: se eu estudo MD, eu aprendo MD.

(b) (1,0) Considerando que o enunciado acima é verdadeiro e que a pessoa que o proferiu
estuda MD, determine se ela aprende MD, ou não. Justifique a sua resposta.

..........................................................................................

Resolução da Questão 1:
(a) De acordo com a legenda:

p : eu gosto de MD
q : eu estudo MD
r : eu aprendo MD

o enunciado pode ser simbolizado como:

ϕ : p ∧ (p → (q → r))

(b) Como ϕ é V , temos que p é V e p → (q → r) é V .

Como p é V e p → (q → r) é V , temos que q → r é V .
Como, de acordo com o enunciado, q é V e q → r é V , temos que r é V .
Logo, a pessoa aprende MD.

1
2. (2,0) Durante uma tutoria de MD, um tutor perguntou aos alunos por um enunciado equiva-
lente a negação de:

ϕ : Se x é par e y é ı́mpar, então x + y é ı́mpar.

Um dos alunos rapidamente respondeu:

ψ : Se x + y é par e y é ı́mpar, então x é ı́mpar.

Ao ouvir a resposta do colega, um outro aluno retrucou: nada disso, este enunciado que você
proferiu é equivalente ao primeiro.
Sabendo que ser par é a negação de ser ı́mpar (e vice versa), determine qual dos dois alunos
está correto. Justifique a sua resposta.

..........................................................................................

Resolução da Questão 2:
De acordo com a legenda:
p : x é par
q : y é ı́mpar
r : x + y é ı́mpar
o enunciado original pode ser simbolizado como

ϕ : (p ∧ q) → r

Enquanto que, como ser par é a negação de ser ı́mpar (e vice-versa), o enunciado que o aluno
apresentou como equivalente a negação pode ser simbolizado como:

ψ : (¬r ∧ q) → (¬p)

Construindo a tabela verdade conjunta destes enunciados, temos:

p q r p∧q ϕ ¬r ¬r ∧ q ¬p ψ
V V V V V F F F V
V V F V F V V F F
V F V F V F F F V
V F F F V V F F V
F V V F V F F V V
F V F F V V V V V
F F V F V F F V V
F F F F V V F V V

Como os enunciados ϕ e ψ possuem os mesmos valores nas mesmas interpretações, eles são
equivalentes e o segundo aluno é quem está correto.
Observe que apresentar uma forma correta θ para ¬ϕ e observar que ela não é igual a ψ não
seria uma resposta completa para a questão. Neste caso, restaria ainda mostrar que θ e ϕ
não são equivalentes. Para isto, bastaria exibir uma interpretação qualquer que associasse
valores diferentes a θ e ϕ.

2
3. (3,0) Simbolize o seguinte argumento e mostre que ele é válido, apresentando uma demons-
tração:

Ele é sensato, pois estuda Lógica e é honesto.

Se ele não é sensato ou não é honesto, então não faz parte do juri.
Ele faz parte do juri e não é advogado.
Logo, Ele é sensato.

..........................................................................................

Resolução da Questão 3:
De acordo com a legenda:
p : ele é sensato
q : ele estuda lógica
r : ele é honesto
s : ele faz parte do juri
t : ele é advogado
o argumento pode ser simbolizado como:

(q ∧ r) → p
((¬p) ∨ (¬r)) → (¬s)
s ∧ (¬t)
p

Uma demonstração para a validade do argumento é a seguinte:

Suponha que (1) (q ∧ r) → p.

Suponha que (2) ((¬p) ∨ (¬r)) → (¬s).

Suponha que (3) s ∧ (¬t).

De (3), temos (4) s.

De (2) e (4), temos (5) ¬((¬p) ∨ (¬r)).

De (5), temos (6) (¬(¬p)) ∧ (¬(¬r)).

De (6), temos (7) p ∧ r

Finalmente, de (7), temos p, qed.

3
4. (3,0) Determine a negação do seguinte enunciado, apresentando um esquema de simbolização
para a negação:

Todo triângulo que não retângulo é acutângulo ou obtusângulo.

..........................................................................................

Resolução da Questão 4:
O enunciado envolve as propriedades:

ser triângulo , ser retângulo, ser acutângulo ser obtusângulo

Assim, podemos considerar a legenda:

p(x) : x é triângulo
q(x) : x é retângulo
r(x) : x é acutângulo
s(x) : x é obtusângulo

O enunciado afirma que, todo objeto x, tal que x é triângulo e x não é retângulo, então x é
acutângulo ou x é obtusângulo. Assim, o enunciado pode ser simbolizado como:

∀x { [p(x) ∧ (¬q(x))] → [r(x) ∨ s(x)] }

Agora, podemos obter a negação do enunciado:

¬ ∀x { [p(x) ∧ (¬q(x))] → [r(x) ∨ s(x)] }

é equivalente a

∃x ¬{ [p(x) ∧ (¬q(x))] → [r(x) ∨ s(x)] }

é equivalente a

∃x{ [p(x) ∧ (¬q(x))] ∧ ¬[r(x) ∨ s(x)] }

é equivalente a

∃x[ p(x) ∧ (¬q(x)) ∧ (¬r(x)) ∧ (¬s(x)) ]

que é uma existencialização que afirma que existe ao menos um objeto x, tal que: x é
triângulo, mas x não é retângulo e x não é acutângulo e x não é obtusângulo. Assim,
podemos reescrevê-la como

Existe um triângulo que não é: retângulo, acutângulo, nem obtusângulo.

c 2012 Márcia Cerioli e Petrucio Viana

Coordenação da Disciplina MD/CEDERJ-UAB