Question

Você trabalha na área de desenvolvimento de uma faculdade está se dedicando a reestruturar o sistema da pós-graduação. Para fazer a matrícula dos alunos, o software que gerencia área de atual do aluno deverá verificar a seguinte documentação: fazer upload cópia do diploma ou histórico e certificado autenticado. Para isso, é preciso desenvolver uma sentença proposicional e realizar testes lógicos. A partir dos testes lógicos, outra equipe desenvolverá os algoritmos.
Portanto, para que o sistema da pós graduação seja capaz de verificar a documentação, você deve desenvolver uma sentença pro posicional, utilizando a linguagem lógica proposicional, e realizado dois testes, de forma que gerem um valor lógico verdadeiro e o valor lógico falso

Answer 1

Resposta:

Para resolver o problema, inicialmente, será analisada a necessidade do sistema:

Fazer UPLOAD cópias do diploma ou histórico e certificado autenticado.

Então, os três documentos destacados são colocados em uma proposição simples:

p: O aluno fez upload do diploma na área do aluno.

q: O aluno fez upload do histórico na área do aluno.

r: O aluno fez upload do certificado autenticado na área do aluno.

Dessa forma, pode-se gerar a expressão lógica a seguir:

P: (p v q) ^ r

As proposições simples p e q devem estar dentro dos parênteses, pois a exigência é que se faça upload do diploma ou do histórico. Já os certificados autenticados são obrigatórios.

Com isso, será efetuado o primeiro teste lógico:

P: (V v V) ^ V

P: V ^ V

P: V

O sistema deve validar os documentos.

Agora, serão considerados os seguintes valores lógicos nas proposições simples:

p: O aluno fez upload do diploma na área do aluno.

q: O aluno fez upload do histórico na área do aluno.

r: O aluno fez upload do certificado na área do aluno, mas não está autenticado.

Com isso, será efetuado o segundo teste lógico:

P: (V v V) ^ F

P: V ^ F

P: F

O sistema não deve validar os documentos.