Skall syllogismen vara logisk,