Um aluno só poderá fazer a prova final se:
- sua media estiver entre 4 e 6 (inclusive),
- e sua frequência (frequencia) for maior ou igual a
,
- e ele não tiver nenhuma pendência de matrícula.
Passo 1
O enunciado dá três requisitos que devem ocorrer todos juntos para o aluno poder fazer a prova final. O conteúdo aqui é lógica proposicional, usando conectivo “e” (conjunção) e negação.
Passo 2
Definimos as seguintes proposições atômicas:
: “a média do aluno
satisfaz
”.
: “a frequência
do aluno satisfaz
”.
: “o aluno tem pendência de matrícula”.
Como queremos “não ter pendência”, essa condição será
.
Passo 3
O aluno só poderá fazer a prova final se e somente se todas as três condições acontecerem simultaneamente. Em lógica, isso é a conjunção de
,
e
: