Considere verdadeira a seguinte afirmação:

Todo alfa é beta.

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