A proposição “Todas as provas são difíceis”, é admitida como sendo verdadeira, analisar as inferências da verdade ou falsidade das seguintes proposições:

- Algumas provas são difíceis;
- Nenhuma prova é difícil;
- Algumas provas não são difíceis.