Se é falso que João é engenheiro e Carlos é professor, então, é logicamente verdadeiro dizer que