Aquest llibre és la continuació (o segona part) de l'editat per la Universitat de les Illes Balears amb el nombre 10 de la col·lecció "Materials didàctics" i amb el títol La lògica classica proposicional. Completa l'assignatura de Lògica, de sis crèdits, impartida per l'autor durant tres anys als alumnes d'Informàtica de Sistemes, d'Informàtica de Gestió i de Telemàtica o d'altres estudis que l'han escollida com a assignatura de lliure configuració. La lògica clàssica proposicional se cita aquí molt sovint com a "primera part" i figura amb el nombre 9 a la bibliografia.