Sabendo que é verdade que “Todo professor de lógica é professor de matemática” e “Todo professor de matemática é professor de estatística”, podemos afirmar que:
Todo professor de estatística é professor de matemática.
Existe professor de matemática que não é professor de estatística.
Todo professor de estatística é professor de lógica.
Todo professor de lógica é professor de estatística.