O silogismo aristotélico é