2012/1 – Matemática Discreta – AP1

Resoluções

1. (2,5) Simbolize o seguinte enunciado e, considerando que ele é falso, determine os valores de
verdade dos seus enunciados componentes:

Se eu gosto de Lógica e ela não, então: se nós estudamos juntos, nós brigamos.

Resolução da Questão 1:
De acordo com a legenda:
p : eu gosto de Lógica
q : ela gosta de Lógica
r : nós estudamos juntos
s : nós brigamos
o enunciado pode ser simbolizada como:

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

Como ϕ é F , temos que p ∧ (∼ q) é V e r → s é F .

Logo, p e ∼ q são V , r é V e s é F .
Assim, para os enunciados componentes, temos: p é V , q é F , r é V e s é F .

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

Se Kátia estuda MD, então: se Viviane estuda MD, Marcelo e Regina também estudam.
Kátia e Viviane estudam MD.
Logo, Regina estuda MD.

Resolução da Questão 2:
De acordo com a legenda:
k : Kátia estuda MD
v : Viviane estuda MD
m : Marcelo estuda MD
r : Regina estuda MD
o argumento pode ser simbolizado como:

k → (v → (m ∧ r))
k∧v
r

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

Suponha que (1) k → (v → (m ∧ r)).

Suponha que (2) k ∧ v.

De (2), temos (3) k e (4) v.

De (1) e (3), temos (5) v → (m ∧ r).

De (4) e (5), temos (6) m ∧ r.

Finalmente, de (6), temos r, qed.

2
3. (4,0) Considere o seguinte texto sobre números naturais:
Todo número natural é primo ou composto. Quando ele é primo, ele tem um fator
primo. E quando ele é composto, ele também tem um fator primo. Assim, todo
número natural tem um fator primo.
(a) Qual das simbolizações abaixo descreve melhor a estrutura lógica deste texto? Justifique
a sua resposta apresentando uma legenda que indica como o texto pode ser simbolizado no
item que você escolheu.

p ∨ (¬q) p ∨ (¬p) p∨q

q→r p→r p→r
(i) (ii) (iii)
p→r (¬p) → r (¬p) → r
r r r

(b) Determine a negação do seguinte enunciado, apresentando um esquema de simbolização

para a negação:

Existe um natural que não é primo e que não é composto.

Resolução da Questão 3:
(a) Levando em conta que ser composto é a negação de ser primo. De acordo com a legenda:

p : x é primo
r : x possui um fator primo

a estrutura do texto pode ser simbolizada como:

p ∨ (¬p)
p→r
(¬p) → r
r

que corresponde ao item (ii).

(b) Existe um natural que não é primo e que não é composto. envolve as propriedades:

ser natural , ser primo, ser composto

Assim, podemos considerar a legenda:

p : x é natural
q : x é primo
r : x é composto

O enunciado afirma que, existe um objeto x, tal que x é natural, x não é primo e x não é
composto. Assim, o enunciado pode ser simbolizado como:

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

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

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

é equivalente a

3
 ∀x¬{ [ p(x) ∧ (¬q(x)) ] ∧ (¬r(x)) }

é equivalente a

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

é equivalente a

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

é equivalente a

∀x[p(x) ∧ (¬q(x))] → r(x)

que é uma generalização que afirma que todo objeto x, tal que: x é natural e x não é primo,
é composto. Assim, podemos reescrevê-la como

Todo natural que não é primo é composto.

c 2012 Márcia Cerioli e Petrucio Viana

Coordenação da Disciplina MD/CEDERJ-UAB