Um silogismo é um argumento dedutivo válido se obedecer às regras de validade silogística. Estas regras estabelecem que uma conclusão não pode seguir de duas premissas negativas ou particulares, e que se as duas premissas forem afirmativas, a conclusão também deve ser afirmativa. O documento fornece um exemplo de um silogismo válido.