Considere verdadeira a seguinte afirmação:
Todo alfa é beta.

Logo, também é necessariamente verdadeira a seguinte afirmação: