Question

Gente alguém consegue me dar uma ajuda nessas questoes de formas lógicas?

Answer 1

Resposta:

(a) Alice e Bob não estudam juntos

(b)3 divide 6,9 e 15

Answer 2

Resposta:

a) Considere as seguintes proposições simples:

p: Alice está na sala.

q: Bob está na sala.

A proposição "Alice e Bob não estão ambos na sala" é a negação de "Alice e Bob estão ambos na sala". Portanto, em termos da lógica proposicional, ela é assim representada:

¬(p ∧ q)   ⇔   ¬p ∨ ¬q.

b) Considere agora as seguintes proposições simples:

p: 3 | 6 (3 divide 6).

q: 3 | 9.

r: 3 | 15.

A proposição "3 é um divisor comum de 6, 9 e 15" é a conjunção das três proposições simples p, q e r:

p ∧ q ∧ r.