Bu kitobda hukmning ta'rif va formal mantiqdagi roli, sintaktik va semantik jihatlari, atomik hukmlar va murakkab hukmlar haqida ma'lumot beriladi