El libro primero se inicia con una exposición de la teoría formal sobre el silogismo, que consta de tres proposiciones relacionadas de la siguiente forma: