Em uma universidade, o professor afirma: Se um estudante é ...
Em uma universidade, o professor afirma:
Se um estudante é bolsista, então ele participa de um projeto de pesquisa. Mariana é bolsista.
Com base nessas informações, qual conclusão lógica é correta?