A lógica proposicional consiste em uma forma interessante de expressar pensamentos e testá-los, gerando, assim, valores lógicos. Tais relações utilizam proposições simples e conectivos lógicos, para, então, gerar proposições complexas, sendo que os valores gerados nas análises das proposições são VERDADEIRO ou FALSO.
Leia a imagem abaixo
Tendo isso em mente, na qualidade de profissional, considere o seguinte caso:
Portanto, para que o sistema da Pós-Graduação seja capaz de verificar a documentação, você deve desenvolver uma sentença proposicional, utilizando a linguagem lógica proposicional, e realizar dois testes, de forma que gerem um valor lógico VERDADEIRO e um valor lógico FALSO.
Soluções para a tarefa
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.
Resposta:
Padrão de resposta esperado
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.
Explicação: Este é o padrão de resposta esperado.