Ši knyga skiriama KTU fundamentaliųjų mokslų fakulteto studentams. Joje supažindinama su dviem predikatų logikos aprašymais: predikatų algebra ir predikatų skaičiavimu.