Question

4.
Os sistemas são desenvolvidos a fim de resolverem problemas de uma forma computacional, o que os desenvolvedores conhecem como requisitos de sistema.

Considere que um software, para acessar determinado conteúdo, tenha as seguintes premissas: "Ser inscrito no sistema ou ter o pass master, ter mais de 18 anos. Esse acesso será autorizado se, e somente se, a mensalidade estiver em dia".

Com base na linguagem lógica proposicional, assinale a alternativa que represente corretamente as premissas desse sistema.
A.
* P: ((p v q) ^ r) ↔ s.


B.
P: p v (q ^ r) ↔ s.


C.
P: p ↔ q ^ r ↔ s.


D.
P: p v q ^ r ↔ s.


E.
P: (p v q) ^ (r ↔ s).

Answer 1

Resposta:

A.

* P: ((p v q) ^ r) ↔ s.

Explicação:

A sentença deve ser convertida em proposições simples, em que:

Ser inscrito no sistema ou ter o pass master, ter mais de 18 anos. Esse acesso será autorizado se, e somente se, a mensalidade estiver em dia.

p: O cliente está inscrito no sistema.

q: O cliente tem o pass master.

r: O cliente tem mais de 18 anos.

s: A mensalidade está em dia.

Quanto às proposições p e q, o cliente deve atender, ao menos, uma das duas, portanto: (p v q). O cliente ter mais de 18 anos é obrigatório, então: (p v q) ^ r. Para que o acesso seja autorizado, a mensalidade deve estar em dia. Dessa forma, a expressão correta é: P: ((p v q) ^ r) ↔ s.