Please refer this link from page 13 to 21.
This chapter is the development of basic framework of inductive definitions.
An inductive definition consists of a set of rules for deriving judgments.
Judgments are statements about one or more abt’s of some sort.
The rules specify necessary and sufficient conditions for the validity of a judgment, hence fully determine its meaning.