Raciocínio Lógico — equivalências lógicas

Se todo estudante de uma disciplina A é também

estudante de uma disciplina B e todo estudante de

uma disciplina C não é estudante da disciplina B,

então é verdade que