P1: Não há uma prova com o nome do aluno nos arquivos do
professor.
P2: Se não há uma prova com o nome do aluno nos arquivos do
professor, então o aluno esqueceu-se de colocar seu nome na
prova, não a fez ou, se a fez, o professor perdeu a prova dele.
P3: Não há prova sem nome nos arquivos do professor.
P4: Se não há prova sem nome nos arquivos do professor, então
o aluno não se esqueceu de colocar seu nome na prova.
P5: A assinatura do aluno não consta da lista de presença do dia
da prova.
P6: Se a assinatura do aluno não consta da lista de presença do
dia da prova, então o aluno não fez a prova.